public interface ConfigChangeListener
Modifier and Type | Method and Description |
---|---|
void |
jpfRunTerminated(Config conf)
this can be used to let a config listener remove itself, which is
required if the same Config object is used for several JPF runs
|
void |
propertyChanged(Config conf,
String key,
String oldValue,
String newValue)
a JPF property was changed during runtime (e.g.
|
void propertyChanged(Config conf, String key, String oldValue, String newValue)
void jpfRunTerminated(Config conf)