isabelle

class Isabelle_Process

[source: isabelle/Isabelle_Process.scala]

class Isabelle_Process(isabelle_system : Isabelle_System, receiver : scala.actors.Actor, args : java.lang.String*)
extends AnyRef
Direct Known Subclasses:
Isar_Document

Additional 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
def this(args : java.lang.String*) : Isabelle_Process

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