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