|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |