Scala 2
|
|
isabelle/Isabelle_Process.scala
]
class
Isabelle_Process(isabelle_system : Isabelle_System, receiver : scala.actors.Actor, args : java.lang.String*)
extends
AnyRefAdditional Constructor Summary | |
def
|
this (args : java.lang.String*) : Isabelle_Process |
Method Summary | |
def
|
ML (text : java.lang.String) : Unit |
def
|
close : Unit |
def
|
command (text : java.lang.String) : Unit |
def
|
command (props : scala.List[(java.lang.String, java.lang.String)], text : java.lang.String) : Unit |
def
|
interrupt : Unit |
def
|
kill : Unit |
def
|
output_sync (text : java.lang.String) : Unit |
def
|
session : java.lang.String |
def
|
try_close : 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 |
Additional Constructor Details |
Method Details |
def
session : java.lang.String
def
interrupt : Unit
def
kill : Unit
def
output_sync(text : java.lang.String) : Unit
def
command(text : java.lang.String) : Unit
def
command(props : scala.List[(java.lang.String, java.lang.String)], text : java.lang.String) : Unit
def
ML(text : java.lang.String) : Unit
def
close : Unit
def
try_close : Unit
Scala 2
|
|