Class

isabelle.SSH

Session

Related Doc: package SSH

Permalink

class Session extends System

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Session
  2. System
  3. AnyRef
  4. 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
    Definition Classes
    SessionSystem
  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
    Definition Classes
    SessionSystem
  13. def expand_path(path: Path): Path

    Permalink
    Definition Classes
    SessionSystem
  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
    Definition Classes
    SessionSystem
  19. def host: String

    Permalink
  20. final def isInstanceOf[T0]: Boolean

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

    Permalink
    Definition Classes
    SessionSystem
  22. def is_file(path: Path): Boolean

    Permalink
    Definition Classes
    SessionSystem
  23. def mkdir(path: Path): Unit

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

    Permalink
    Definition Classes
    SessionSystem
  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_forwarding(remote_port: Int, remote_host: String = "localhost", local_port: Int = 0, local_host: String = "localhost", ssh_close: Boolean = false): Port_Forwarding

    Permalink
  33. def port_suffix: String

    Permalink
  34. def prefix: String

    Permalink
    Definition Classes
    SessionSystem
  35. def read(path: Path): String

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

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

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

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

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

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

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

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

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

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

    Permalink
  46. val sftp: ChannelSftp

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

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

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

    Permalink
  50. def toString(): String

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

    Permalink
  52. def user_prefix: String

    Permalink
  53. final def wait(): Unit

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

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

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

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

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

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

    Permalink

Inherited from System

Inherited from AnyRef

Inherited from Any

Ungrouped