|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.cau.cs.kieler.sim.kiem.config.managers.AbstractManager
de.cau.cs.kieler.sim.kiem.config.managers.PropertyUsageManager
public final class PropertyUsageManager
Manages a list of keys for the properties where the default property should be used rather than the property value in the currently loaded configuration.
Method Summary | |
---|---|
List<KiemPropertyKeyWrapper> |
getIgnoredKeys()
Getter for the list of ignored keys. |
static PropertyUsageManager |
getInstance()
Returns the singleton instance of this manager. |
void |
load()
Load the saved data from the plugin's preference store. |
void |
save()
Saves the data inside the manager into the plugin's preference store. |
void |
setIgnoredKeys(List<KiemPropertyKeyWrapper> keysParam)
Setter for the list of ignored keys. |
Methods inherited from class de.cau.cs.kieler.sim.kiem.config.managers.AbstractManager |
---|
addEventListener, load, notifyListeners, remove, removeEventListener, save, saveAll |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static PropertyUsageManager getInstance()
public List<KiemPropertyKeyWrapper> getIgnoredKeys()
public void setIgnoredKeys(List<KiemPropertyKeyWrapper> keysParam)
keysParam
- the new list of ignored keyspublic void load()
load
in class AbstractManager
public void save()
save
in class AbstractManager
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |