Scala 2
|
|
isabelle/IsabelleSystem.scala
]
class
IsabelleSystem
extends
AnyRefValue Summary | |
val
|
charset : java.lang.String |
val
|
is_cygwin : Boolean |
val
|
symbols : Interpretation |
Method Summary | |
def
|
execute (redirect : Boolean, args : java.lang.String*) : java.lang.Process |
def
|
fifo_reader (fifo : java.lang.String) : java.io.BufferedReader |
def
|
find_logics : scala.List[java.lang.String] |
def
|
getenv (name : java.lang.String) : java.lang.String |
def
|
getenv_strict (name : java.lang.String) : java.lang.String |
def
|
isabelle_tool (args : java.lang.String*) : (java.lang.String, Int) |
def
|
mk_fifo : java.lang.String |
def
|
platform_file (path : java.lang.String) : java.io.File |
def
|
platform_path (source_path : java.lang.String) : java.lang.String |
def
|
rm_fifo (fifo : java.lang.String) : Unit |
Methods inherited from AnyRef | |
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Value Details |
Method Details |
def
getenv(name : java.lang.String) : java.lang.String
def
getenv_strict(name : java.lang.String) : java.lang.String
def
platform_path(source_path : java.lang.String) : java.lang.String
def
platform_file(path : java.lang.String) : java.io.File
def
execute(redirect : Boolean, args : java.lang.String*) : java.lang.Process
def
isabelle_tool(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
find_logics : scala.List[java.lang.String]
Scala 2
|
|