Scala 2
|
|
isabelle/Isabelle_System.scala
]
class
Isabelle_System
extends
AnyRefValue Summary | |
val
|
symbols : Interpretation |
Methods inherited from AnyRef | |
getClass, hashCode, equals, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Value Details |
Method Details |
def
id : java.lang.String
def
getenv(name : java.lang.String) : java.lang.String
def
getenv_strict(name : java.lang.String) : java.lang.String
override
def
toString : java.lang.String
The default representation is platform dependent.
def
expand_path(isabelle_path : java.lang.String) : java.lang.String
def
platform_path(isabelle_path : java.lang.String) : java.lang.String
def
platform_file(path : java.lang.String) : java.io.File
def
isabelle_path(platform_path : java.lang.String) : java.lang.String
def
source_file(path : java.lang.String) : scala.Option[java.io.File]
def
execute(redirect : Boolean, args : java.lang.String*) : java.lang.Process
def
isabelle_tool(name : java.lang.String, args : java.lang.String*) : (java.lang.String, Int)
def
mk_fifo : java.lang.String
def
rm_fifo(fifo : java.lang.String) : Unit
def
fifo_reader(fifo : java.lang.String) : java.io.BufferedReader
def
components : scala.List[java.lang.String]
def
find_logics : scala.List[java.lang.String]
Scala 2
|
|