isabelle.SSH

Session

class Session extends AnyRef

Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Session
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

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

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

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

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. final def asInstanceOf[T0]: T0

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

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

  9. def clone(): AnyRef

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

  11. final def eq(arg0: AnyRef): Boolean

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

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

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

  15. def expand_path(path: Path): Path

  16. def finalize(): Unit

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

  18. final def getClass(): Class[_]

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

    Definition Classes
    AnyRef → Any
  20. def hg_url: String

  21. def host: String

  22. final def isInstanceOf[T0]: Boolean

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

  24. def is_file(path: Path): Boolean

  25. def mkdir(path: Path): Unit

  26. def mkdirs(path: Path): Unit

  27. def mv(path1: Path, path2: Path): Unit

  28. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  29. final def notify(): Unit

    Definition Classes
    AnyRef
  30. final def notifyAll(): Unit

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

  32. def open_output(path: Path): OutputStream

  33. val options: Options

  34. def port_suffix: String

  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
    @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 AnyRef

Inherited from Any

Ungrouped