|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object rwth.i2.ltlrv.management.listeners.ConsoleListener
public class ConsoleListener
Constructor Summary | |
---|---|
ConsoleListener()
|
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ConsoleListener()
Method Detail |
---|
public void notifyRegistered(String formulaId, Thread associatedThread, Configuration initialConfig)
notifyRegistered
in interface VerificationRuntime.Listener
formulaId
- the ID of the formulaassociatedThread
- the Thread which registered this formulainitialConfig
- the initial configurationpublic void notifyUpdate(String formulaId, Thread associatedThread, Configuration newConfig)
notifyUpdate
in interface VerificationRuntime.Listener
formulaId
- the ID of the formulaassociatedThread
- the Thread which registered this formulanewConfig
- the new configurationpublic void 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.
notifyTearDown
in interface VerificationRuntime.Listener
public void notifyOnUserCauseException(String formulaId, Thread associatedThread, String ifExpression, Throwable exception, Configuration config)
notifyOnUserCauseException
in interface VerificationRuntime.Listener
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 |