scphEditor
Class ProofMenu.PostQED

java.lang.Object
  extended by scphEditor.ProofMenu.PostQED
All Implemented Interfaces:
ProverShell.IPostExecute
Enclosing class:
ProofMenu

 class ProofMenu.PostQED
extends java.lang.Object
implements ProverShell.IPostExecute


Constructor Summary
ProofMenu.PostQED(OperandContext c)
           
 
Method Summary
 void postExecute(java.lang.String output)
          Callback method for receiving the output of an execution.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ProofMenu.PostQED

public ProofMenu.PostQED(OperandContext c)
Method Detail

postExecute

public void postExecute(java.lang.String output)
Description copied from interface: ProverShell.IPostExecute
Callback method for receiving the output of an execution.

Specified by:
postExecute in interface ProverShell.IPostExecute
Parameters:
output - output of execution