dfki.util.config
Interface Config.ChangeListener

Enclosing class:
Config

public static interface Config.ChangeListener

Listener interface for publishing change events.


Method Summary
 void hasChanged()
          This method is called when some config settings may have changed.
 

Method Detail

hasChanged

public void hasChanged()
This method is called when some config settings may have changed.