Isabelle_System

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. def admin(): Boolean

7. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

8. def bash(script: String, cwd: File = null, env: Map[String, String] = settings(), redirect: Boolean = false, progress_stdout: (String) ⇒ Unit = (_: String) => (), progress_stderr: (String) ⇒ Unit = (_: String) => (), progress_limit: Option[Long] = None, strict: Boolean = true, cleanup: () ⇒ Unit = () => ()): Process_Result

9. def bootstrap_directory(preference: String, envar: String, property: String, description: String): String

10. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

11. def components(): List[Path]

12. def copy_dir(dir1: Path, dir2: Path): Unit

13. def cygwin_root(): String

14. def default_logic(args: String*): String

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

    Definition Classes

    AnyRef

16. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

17. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

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

    Definition Classes

    AnyRef → Any

19. def getenv(name: String, env: Map[String, String] = settings()): String

20. def getenv_strict(name: String, env: Map[String, String] = settings()): String

21. def hashCode(): Int

    Definition Classes

    AnyRef → Any

22. def hostname(): String

23. def init(isabelle_root: String = "", cygwin_root: String = "", user: String = "", init_env: Map[String, String] = Map.empty, hook: () ⇒ Unit = () => ()): Unit

24. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

25. def jdk_home(): String

    bootstrap information *

26. def kill(signal: String, group_pid: String): (String, Int)

27. def library_path(env: Map[String, String], elem: String): Map[String, String]

28. def mkdirs(path: Path): Unit

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

    Definition Classes

    AnyRef

30. final def notify(): Unit

    Definition Classes

    AnyRef

31. final def notifyAll(): Unit

    Definition Classes

    AnyRef

32. def open(arg: String): Unit

33. def pdf_viewer(arg: Path): Unit

34. def process(command_line: List[String], cwd: File = null, env: Map[String, String] = settings(), redirect: Boolean = false): Process

35. def process_output(proc: Process): (String, Int)

36. def rm_tree(root: File): Unit

37. def rm_tree(root: Path): Unit

38. def settings(): Map[String, String]

39. def source_file(path: Path): Option[Path]

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

    Definition Classes

    AnyRef

41. def tmp_dir(name: String): File

42. def tmp_file(name: String, ext: String = ""): File

43. def toString(): String

    Definition Classes

    AnyRef → Any

44. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

45. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

46. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

47. def with_tmp_dir[A](name: String)(body: (Path) ⇒ A): A

48. def with_tmp_file[A](name: String, ext: String = "")(body: (Path) ⇒ A): A