Packages

c

isabelle.SSH

Session

class Session extends System

Linear Supertypes
System, AnyRef, Any
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
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def bash_path(path: Path): String
    Definition Classes
    Session → System
  6. def chmod(permissions: Int, path: Path): Unit
  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  8. def close(): Unit
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. def exec(command: String): Exec
  12. def execute(command: String, progress_stdout: (String) ⇒ Unit = (_: String) => (), progress_stderr: (String) ⇒ Unit = (_: String) => (), strict: Boolean = true): Process_Result
    Definition Classes
    Session → System
  13. def expand_path(path: Path): Path
    Definition Classes
    Session → System
  14. def finalize(): Unit
    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]
  16. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. def hg_url: String
    Definition Classes
    Session → System
  19. def host: String
  20. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. def is_dir(path: Path): Boolean
    Definition Classes
    Session → System
  22. def is_file(path: Path): Boolean
    Definition Classes
    Session → System
  23. def mkdir(path: Path): Unit
  24. def mkdirs(path: Path): Unit
    Definition Classes
    Session → System
  25. def mv(path1: Path, path2: Path): Unit
  26. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  27. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  28. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  29. def open_input(path: Path): InputStream
  30. def open_output(path: Path): OutputStream
  31. val options: Options
  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
  33. def port_suffix: String
  34. def prefix: String
    Definition Classes
    Session → System
  35. def read(path: Path): String
  36. def read_bytes(path: Path): Bytes
  37. def read_dir(path: Path): List[Dir_Entry]
  38. def read_file(path: Path, local_path: Path): Unit
  39. def remote_path(path: Path): String
  40. def rm(path: Path): Unit
  41. def rm_tree(remote_dir: String): Unit
  42. def rm_tree(dir: Path): Unit
  43. def rmdir(path: Path): Unit
  44. val session: com.jcraft.jsch.Session
  45. val settings: Map[String, String]
  46. val sftp: ChannelSftp
  47. def stat(path: Path): Option[Dir_Entry]
  48. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  49. def tmp_dir(): String
  50. def toString(): String
    Definition Classes
    Session → AnyRef → Any
  51. def update_options(new_options: Options): Session
  52. def user_prefix: String
  53. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  54. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  55. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  56. def with_tmp_dir[A](body: (Path) ⇒ A): A
  57. def write(path: Path, text: String): Unit
  58. def write_bytes(path: Path, bytes: Bytes): Unit
  59. def write_file(path: Path, local_path: Path): Unit

Inherited from System

Inherited from AnyRef

Inherited from Any

Ungrouped