Class

isabelle.SSH

Session

Related Doc: package SSH

Permalink

class Session extends AnyRef

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Session
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def bash_path(path: Path): String

    Permalink
  6. def chmod(permissions: Int, path: Path): Unit

    Permalink
  7. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. def close(): Unit

    Permalink
  9. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  11. def exec(command: String): Exec

    Permalink
  12. def execute(command: String, progress_stdout: (String) ⇒ Unit = (_: String) => (), progress_stderr: (String) ⇒ Unit = (_: String) => (), strict: Boolean = true): Process_Result

    Permalink
  13. def expand_path(path: Path): Path

    Permalink
  14. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. def find_files(root: Path, pred: (Dir_Entry) ⇒ Boolean = _ => true): List[Dir_Entry]

    Permalink
  16. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  17. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  18. def hg_url: String

    Permalink
  19. def host: String

    Permalink
  20. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  21. def is_dir(path: Path): Boolean

    Permalink
  22. def is_file(path: Path): Boolean

    Permalink
  23. def mkdir(path: Path): Unit

    Permalink
  24. def mkdirs(path: Path): Unit

    Permalink
  25. def mv(path1: Path, path2: Path): Unit

    Permalink
  26. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  27. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  28. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  29. def open_input(path: Path): InputStream

    Permalink
  30. def open_output(path: Path): OutputStream

    Permalink
  31. val options: Options

    Permalink
  32. def port_suffix: String

    Permalink
  33. def read(path: Path): String

    Permalink
  34. def read_bytes(path: Path): Bytes

    Permalink
  35. def read_dir(path: Path): List[Dir_Entry]

    Permalink
  36. def read_file(path: Path, local_path: Path): Unit

    Permalink
  37. def remote_path(path: Path): String

    Permalink
  38. def rm(path: Path): Unit

    Permalink
  39. def rm_tree(remote_dir: String): Unit

    Permalink
  40. def rm_tree(dir: Path): Unit

    Permalink
  41. def rmdir(path: Path): Unit

    Permalink
  42. val session: com.jcraft.jsch.Session

    Permalink
  43. val settings: Map[String, String]

    Permalink
  44. val sftp: ChannelSftp

    Permalink
  45. def stat(path: Path): Option[Dir_Entry]

    Permalink
  46. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  47. def tmp_dir(): String

    Permalink
  48. def toString(): String

    Permalink
    Definition Classes
    Session → AnyRef → Any
  49. def update_options(new_options: Options): Session

    Permalink
  50. def user_prefix: String

    Permalink
  51. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  52. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  53. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  54. def with_tmp_dir[A](body: (Path) ⇒ A): A

    Permalink
  55. def write(path: Path, text: String): Unit

    Permalink
  56. def write_bytes(path: Path, bytes: Bytes): Unit

    Permalink
  57. def write_file(path: Path, local_path: Path): Unit

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped