scphEditor
Class ProofMenu.PostConvert

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

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


Constructor Summary
ProofMenu.PostConvert(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.PostConvert

public ProofMenu.PostConvert(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