Uses of Class
rwth.i2.ltlrv.management.Configuration

Packages that use Configuration

rwth.i2.ltlrv.management	Holds classes for configuration management and formula creation.
rwth.i2.ltlrv.management.listeners

Uses of Configuration in rwth.i2.ltlrv.management

Fields in rwth.i2.ltlrv.management with type parameters of type Configuration

private Map<String,Configuration>	VerificationRuntime.configurationForFormulaId Mapping from formula ID to the configuration fot this formula.
private Map<String,Configuration>	VerificationRuntime.originalConfigurationForFormulaId Similar to VerificationRuntime.configurationForFormulaId but keeps copies of the initial configurations

Methods in rwth.i2.ltlrv.management with parameters of type Configuration

static void	Debug.logConfig(String formulaId, Configuration config)
private void	VerificationRuntime.notifyListeners(boolean update, String formulaId, Thread associatedThread, Configuration newConfig) Notifies all listeners about a formula being updated/registered.
protected void	VerificationRuntime.notifyOnUserCausedException(String formulaId, Thread thread, String ifExpression, Throwable exception, Configuration config) Notifies all listeners about a user-caused exception that happened during the evaluation of an if-pointcut.
void	VerificationRuntime.Listener.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	VerificationRuntime.Listener.notifyRegistered(String formulaId, Thread associatedThread, Configuration initialConfig) This is called whenever a new formula is registered.
void	VerificationRuntime.Listener.notifyTearDown(String formulaId, Configuration config) This is called when the application is going down, so after the last main method has been executed.
void	VerificationRuntime.Listener.notifyUpdate(String formulaId, Thread associatedThread, Configuration newConfig) This is called whenever a new formula is updated.

Uses of Configuration in rwth.i2.ltlrv.management.listeners

Methods in rwth.i2.ltlrv.management.listeners with parameters of type Configuration

void	ConsoleListener.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	ConsoleListener.notifyRegistered(String formulaId, Thread associatedThread, Configuration initialConfig) This is called whenever a new formula is registered.
void	ConsoleListener.notifyTearDown(String formulaId, Configuration config) This is called when the application is going down, so after the last main method has been executed.
void	ConsoleListener.notifyUpdate(String formulaId, Thread associatedThread, Configuration newConfig) This is called whenever a new formula is updated.