scphEditor
Class ProverShell

java.lang.Object
  extended by scphEditor.ProverShell
All Implemented Interfaces:
java.util.Observer

public class ProverShell
extends java.lang.Object
implements java.util.Observer

ProverShell runs the theorem prover at the back.


Nested Class Summary
static interface ProverShell.IPostExecute
          IPostExecute is the callback type for asynchronous execution.
 
Method Summary
 java.lang.String execute(java.lang.String cmd)
          Execute a command synchronously.
 void execute(java.lang.String cmd, ProverShell.IPostExecute p)
          Execute a command asynchronously.
static ProverShell instance()
           
 void interrupt()
           
static void kill()
           
 void update(java.util.Observable o, java.lang.Object arg)
          Not intended for client use; called by Shell.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

instance

public static ProverShell instance()

update

public void update(java.util.Observable o,
                   java.lang.Object arg)
Not intended for client use; called by Shell.

Specified by:
update in interface java.util.Observer

execute

public java.lang.String execute(java.lang.String cmd)
Execute a command synchronously. Blocks until command finishes.

Parameters:
cmd - the command
Returns:
output from executing the command

execute

public void execute(java.lang.String cmd,
                    ProverShell.IPostExecute p)
Execute a command asynchronously. Returns immediately. To obtain the output when the command finishes later, pass an instance of IPostExecute as callback.

Parameters:
cmd - the command
p - callback or null
See Also:
ProverShell.IPostExecute

interrupt

public void interrupt()

kill

public static void kill()