|
Humboldt Alignment Editor 2.5.0 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecteu.esdihumboldt.util.SyncedPropertiesFile
public class SyncedPropertiesFile
Properties file that is in sync with its physical counterpart.
Constructor Summary | |
---|---|
SyncedPropertiesFile(File propertiesFile,
Properties defaults)
Create a synced properties file. |
Method Summary | |
---|---|
String |
getProperty(String key)
Get the property value for the given key. |
String |
getPropertyQuiet(String key)
Get the property value for the given key. |
void |
setProperty(String key,
String value)
Set the property value for the given key. |
void |
setPropertyQuiet(String key,
String value)
Set the property value for the given key. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public SyncedPropertiesFile(File propertiesFile, Properties defaults) throws IOException
propertiesFile
- the properties filedefaults
- the default properties, may be null
IOException
- if reading the file failsMethod Detail |
---|
public String getProperty(String key) throws IOException
key
- the property key
null
if no default is found
IOException
- if syncing with the file fails.public String getPropertyQuiet(String key)
key
- the property key
null
if no default is foundpublic void setProperty(String key, String value) throws IOException
key
- the property keyvalue
- the property value
IOException
- if syncing with the file fails.public void setPropertyQuiet(String key, String value)
key
- the property keyvalue
- the property value
|
Humboldt Alignment Editor 2.5.0 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |