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