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): 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): Result

   

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

   

8. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

9. def components(): List[Path]

   

   Isabelle resources *

10. def cygwin_root(): String

    

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 getenv(name: String): String

    

21. def getenv_strict(name: String): String

    

22. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

23. def hg(cmd_line: String, cwd: Path = Path.current): Result

    

24. def init(isabelle_root: String = "", cygwin_root: String = "", user: String = "", init_env: Map[String, String] = Map.empty): Unit

    

25. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

27. def jdk_home(): String

    

    bootstrap information *

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

    

29. def mkdirs(path: Path): Unit

    

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

    

    Definition Classes

    AnyRef

31. final def notify(): Unit

    

    Definition Classes

    AnyRef

32. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

33. def open(arg: String): Unit

    

34. def pdf_viewer(arg: Path): Unit

    

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

    

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

    

    external processes *

37. def rm_tree(root: File): Unit

    

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

    

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

    

    file-system operations *

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

    

    Definition Classes

    AnyRef

41. def tmp_dir(name: String): File

    

42. def tmp_file[A](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: (File) ⇒ A): A

    

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