public class PropertyManager
extends java.lang.Object
Constructor and Description |
---|
PropertyManager() |
Modifier and Type | Method and Description |
---|---|
(package private) void |
addProperty(Property prop) |
void |
clearChanges() |
java.lang.String |
getProperty(java.lang.String key)
Gets the property with the given key.
|
boolean |
hasChanged(Property prop) |
boolean |
hasChanged(Property[] propArr) |
void |
readFromFile(java.io.File settingsFile) |
void |
readFromStream(java.io.InputStream in) |
(package private) void |
setProperty(java.lang.String key,
java.lang.String value) |
void |
writeToFile(java.io.File settingsFile) |
public void writeToFile(java.io.File settingsFile) throws java.io.IOException
java.io.IOException
public void readFromFile(java.io.File settingsFile) throws java.io.IOException
java.io.IOException
public void readFromStream(java.io.InputStream in) throws java.io.IOException
java.io.IOException
void addProperty(Property prop)
void setProperty(java.lang.String key, java.lang.String value)
public java.lang.String getProperty(java.lang.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 3.4.4, Copyright (C) 2004-2008 TV-Browser Team (dev@tvbrowser.org)