Scala 2
isabelle

class IsabelleProcess
[source: isabelle/IsabelleProcess.scala]
class IsabelleProcess(isabelle_system : IsabelleSystem, results : EventBus[Result], args : java.lang.String*)
extends AnyRef
Direct Known Subclasses:
Isar, IsarDocument
Additional Constructor Summary
def this (args : java.lang.String*) : IsabelleProcess
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 parse_message (result : Result) : Tree
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
def this(args : java.lang.String*) : IsabelleProcess
Method Details
def session : java.lang.String
def parse_message(result : Result) : Tree
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