|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public static interface ProverShell.IPostExecute
IPostExecute is the callback type for asynchronous execution.
ProverShell.execute(String, IPostExecute)
Method Summary | |
---|---|
void |
postExecute(java.lang.String result)
Callback method for receiving the output of an execution. |
Method Detail |
---|
void postExecute(java.lang.String result)
result
- output of execution
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |