gov.nasa.jpf

Interface ConfigChangeListener

public interface ConfigChangeListener

listener for gov.nasa.jpf.Config changes. Implementors can register themselves upon initialization, to react to downstream changes even if they cache or process Config settings for increased performance. the notification is per-key

Method Summary

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, java.lang.String key, java.lang.String oldValue, java.lang.String newValue) a JPF property was changed during runtime (e.g.

Method Detail

propertyChanged

void propertyChanged(Config conf,
                     java.lang.String key,
                     java.lang.String oldValue,
                     java.lang.String newValue)

a JPF property was changed during runtime (e.g. by using the Verify API or encountering annotations)

jpfRunTerminated

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