Isabelle_System

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(script: String): Bash_Result

   

6. 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

   

7. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

8. def components(): List[Path]

   

   Isabelle resources *

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

   

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

    

    Definition Classes

    AnyRef

11. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

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

    

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

    

14. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

15. def find_logics(): List[String]

    

16. def find_logics_dirs(): List[Path]

    

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

    

    Definition Classes

    AnyRef → Any

18. def get_cygwin_root(): String

    

19. def getenv(name: String): String

    

20. def getenv_strict(name: String): String

    

21. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

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

    

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

    

24. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

26. def jdk_home(): String

    

    bootstrap information *

27. def jvm_path(posix_path: 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 platform_file(path: Path): File

    

35. def platform_file_url(raw_path: Path): String

    

36. def platform_path(path: Path): String

    

37. def posix_path(file: File): String

    

38. def posix_path(jvm_path: String): String

    

39. def posix_path_url(name: String): String

    

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

    

    external processes *

41. def rm_tree(root: File): Unit

    

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

    

43. def shell_path(file: File): String

    

44. def shell_path(path: Path): String

    

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

    

46. def standard_path(path: Path): String

    

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

    

    Definition Classes

    AnyRef

48. def tmp_dir(name: String): File

    

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

    

50. def toString(): String

    

    Definition Classes

    AnyRef → Any

51. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

54. def with_tmp_dir[A](name: String)(body: (File) ⇒ A): A

    

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