|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public static interface VerificationRuntime.Listener
Listener - Interface for listers that wish to be notified about evaluation progress.
Method Summary | |
---|---|
void |
notifyOnUserCauseException(String formulaId,
Thread associatedThread,
String ifExpression,
Throwable exception,
Configuration config)
Notifies about a user-caused exception that happened during the evaluation of an if-pointcut. |
void |
notifyRegistered(String formulaId,
Thread associatedThread,
Configuration initialConfig)
This is called whenever a new formula is registered. |
void |
notifyTearDown(String formulaId,
Configuration config)
This is called when the application is going down, so after the last main
method has been executed. |
void |
notifyUpdate(String formulaId,
Thread associatedThread,
Configuration newConfig)
This is called whenever a new formula is updated. |
Method Detail |
---|
void notifyRegistered(String formulaId, Thread associatedThread, Configuration initialConfig)
formulaId
- the ID of the formulaassociatedThread
- the Thread which registered this formulainitialConfig
- the initial configurationvoid notifyUpdate(String formulaId, Thread associatedThread, Configuration newConfig)
formulaId
- the ID of the formulaassociatedThread
- the Thread which registered this formulanewConfig
- the new configurationvoid notifyTearDown(String formulaId, Configuration config)
main
method has been executed. For each formula the last configuration is passed.
Formulas which evaluated to TT/FF before, will not be passed.
It is up to the client to keep track of such formulae.
IMPORTANT: This will be run from inside a shutdown hook. So be sure to invoke
nothing which tries to modify shutdown hooks at this time. In particular, some AWT
classes like Toolkit
may do so.
formulaId
- config
- void notifyOnUserCauseException(String formulaId, Thread associatedThread, String ifExpression, Throwable exception, Configuration config)
formulaId
- id of the formula which caused this exceptionassociatedThread
- Thread that triggered the evaluationifExpression
- expression that caused the exceptionexception
- exception that occuredconfig
- last configuration before this exception occured
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |