scphEditor
Interface ProverShell.IPostExecute

All Known Implementing Classes:
ProofMenu.PostConvert, ProofMenu.PostQED
Enclosing class:
ProverShell

public static interface ProverShell.IPostExecute

IPostExecute is the callback type for asynchronous execution.

See Also:
ProverShell.execute(String, IPostExecute)

Method Summary
 void postExecute(java.lang.String result)
          Callback method for receiving the output of an execution.
 

Method Detail

postExecute

void postExecute(java.lang.String result)
Callback method for receiving the output of an execution.

Parameters:
result - output of execution