|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectscphEditor.ProverShell
public class ProverShell
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 |
---|
public static ProverShell instance()
public void update(java.util.Observable o, java.lang.Object arg)
update
in interface java.util.Observer
public java.lang.String execute(java.lang.String cmd)
cmd
- the command
public void execute(java.lang.String cmd, ProverShell.IPostExecute p)
cmd
- the commandp
- callback or nullProverShell.IPostExecute
public void interrupt()
public static void kill()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |