public class PropertyManager extends Object
Constructor and Description |
---|
PropertyManager() |
Modifier and Type | Method and Description |
---|---|
(package private) void |
addProperty(Property prop) |
void |
clearChanges() |
String |
getProperty(String key)
Gets the property with the given key.
|
boolean |
hasChanged(Property prop) |
boolean |
hasChanged(Property[] propArr) |
void |
readFromFile(File settingsFile) |
(package private) void |
setProperty(String key,
String value) |
void |
writeToFile(File settingsFile) |
public void writeToFile(File settingsFile) throws IOException
IOException
public void readFromFile(File settingsFile) throws IOException
IOException
void addProperty(Property prop)
public String getProperty(String key)
key
- The key to get the property for.null
if the key didn't exists.public boolean hasChanged(Property prop)
public boolean hasChanged(Property[] propArr)
public void clearChanges()
TV-Browser 2.7.6, Copyright (C) 04-2003 Martin Oberhauser (martin@tvbrowser.org)