rwth.i2.ltlrv.management
Interface VerificationRuntime.Listener

All Known Implementing Classes:
ConsoleListener
Enclosing class:
VerificationRuntime

public static interface VerificationRuntime.Listener

Listener - Interface for listers that wish to be notified about evaluation progress.

Author:
Eric Bodden

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

notifyRegistered

void notifyRegistered(String formulaId,
                      Thread associatedThread,
                      Configuration initialConfig)
This is called whenever a new formula is registered. This can happen basically any time but only once for each formula, since a formula is not registered before it is actually needed (first joinpoint).

Parameters:
formulaId - the ID of the formula
associatedThread - the Thread which registered this formula
initialConfig - the initial configuration

notifyUpdate

void notifyUpdate(String formulaId,
                  Thread associatedThread,
                  Configuration newConfig)
This is called whenever a new formula is updated. It may be the case that the new configuration is equal to the last one. No update will be triggered after a formula evaluated to TT or FF.

Parameters:
formulaId - the ID of the formula
associatedThread - the Thread which registered this formula
newConfig - the new configuration

notifyTearDown

void notifyTearDown(String formulaId,
                    Configuration config)
This is called when the application is going down, so after the last 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.

Parameters:
formulaId -
config -

notifyOnUserCauseException

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. The formula will be removed from further evaluation. So no update for this formula will occur.

Parameters:
formulaId - id of the formula which caused this exception
associatedThread - Thread that triggered the evaluation
ifExpression - expression that caused the exception
exception - exception that occured
config - last configuration before this exception occured