scphEditor
Class ProverFrame.PostExecute

java.lang.Object
  extended by scphEditor.ProverFrame.PostExecute
Enclosing class:
ProverFrame

public abstract static class ProverFrame.PostExecute
extends java.lang.Object


Constructor Summary
ProverFrame.PostExecute()
           
 
Method Summary
abstract  void postExecute(java.lang.String result)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ProverFrame.PostExecute

public ProverFrame.PostExecute()
Method Detail

postExecute

public abstract void postExecute(java.lang.String result)