object
Isabelle_System
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
-
final
def
asInstanceOf[T0]: T0
-
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
-
def
bootstrap_directory(preference: String, envar: String, property: String, description: String): String
-
def
clone(): AnyRef
-
def
components(): List[Path]
-
def
copy_dir(dir1: Path, dir2: Path): Unit
-
def
cygwin_root(): String
-
def
default_logic(args: String*): String
-
-
-
def
export_isabelle_identifier(isabelle_identifier: String): String
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
getenv(name: String, env: Map[String, String] = settings()): String
-
def
getenv_strict(name: String, env: Map[String, String] = settings()): String
-
-
def
hashCode(): Int
-
def
hostname(): String
-
def
init(isabelle_root: String = "", cygwin_root: String = "", user: String = "", init_env: Map[String, String] = Map.empty, hook: () ⇒ Unit = () => ()): Unit
-
def
init_classes[A](variable: String): List[A]
-
final
def
isInstanceOf[T0]: Boolean
-
def
isabelle_id(): String
-
def
jdk_home(): String
-
def
kill(signal: String, group_pid: String): (String, Int)
-
def
mkdirs(path: Path): Unit
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
open(arg: String): Unit
-
def
pdf_viewer(arg: Path): Unit
-
def
process(command_line: List[String], cwd: File = null, env: Map[String, String] = settings(), redirect: Boolean = false): Process
-
def
process_output(proc: Process): (String, Int)
-
def
rm_tree(root: File): Unit
-
def
rm_tree(root: Path): Unit
-
def
settings(): Map[String, String]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
tmp_dir(name: String, base_dir: File = isabelle_tmp_prefix()): File
-
def
tmp_file(name: String, ext: String = "", base_dir: File = isabelle_tmp_prefix()): File
-
def
toString(): String
-
def
update_directory(dir: Path, f: (Path) ⇒ Unit): Unit
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
with_tmp_dir[A](name: String)(body: (Path) ⇒ A): A
-
def
with_tmp_file[A](name: String, ext: String = "")(body: (Path) ⇒ A): A