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. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7. def bash(script: String): Bash_Result

8. def bash_env(cwd: File, env: Map[String, String], script: String, progress_stdout: (String) ⇒ Unit = (_: String) => (), progress_stderr: (String) ⇒ Unit = (_: String) => (), progress_limit: Option[Long] = None, strict: Boolean = true): Bash_Result

9. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10. def components(): List[Path]

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

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

    Definition Classes

    AnyRef

13. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

14. def execute(redirect: Boolean, args: String*): Process

15. def execute_env(cwd: File, env: Map[String, String], redirect: Boolean, args: String*): Process

16. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

17. def find_logics(): List[String]

18. def find_logics_dirs(): List[Path]

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

    Definition Classes

    AnyRef → Any

20. def get_cygwin_root(): String

21. def getenv(name: String): String

22. def getenv_strict(name: String): String

23. def hashCode(): Int

    Definition Classes

    AnyRef → Any

24. def hg(cmd_line: String, cwd: Path = Path.current): Bash_Result

25. def init(isabelle_home: String = "", cygwin_root: String = ""): Unit

26. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

27. def isabelle_tool(name: String, args: String*): (String, Int)

28. def jdk_home(): String

    bootstrap information *

29. def jvm_path(posix_path: String): String

30. def mkdirs(path: Path): Unit

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

    Definition Classes

    AnyRef

32. final def notify(): Unit

    Definition Classes

    AnyRef

33. final def notifyAll(): Unit

    Definition Classes

    AnyRef

34. def open(arg: String): Unit

35. def pdf_viewer(arg: Path): Unit

36. def platform_file(path: Path): File

37. def platform_file_url(raw_path: Path): String

38. def platform_path(path: Path): String

39. def posix_path(file: File): String

40. def posix_path(jvm_path: String): String

41. def posix_path_url(name: String): String

42. def raw_execute(cwd: File, env: Map[String, String], redirect: Boolean, args: String*): Process

43. def rm_tree(root: File): Unit

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

45. def shell_path(file: File): String

46. def shell_path(path: Path): String

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

48. def standard_path(path: Path): String

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

    Definition Classes

    AnyRef

50. def tmp_dir(name: String): File

51. def tmp_file[A](name: String, ext: String = ""): File

52. def toString(): String

    Definition Classes

    AnyRef → Any

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](name: String)(body: (File) ⇒ A): A

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