public class PropertiesManager
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
configFilePath |
private java.util.Properties |
defaultProperties |
private java.lang.String |
header |
private java.util.Properties |
properties |
Constructor and Description |
---|
PropertiesManager() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getProperty(java.lang.String key)
Liefert den Wert der zu key gehörenden Eigenschaft
|
void |
loadProperties()
Liest die Properties aus der zugehörigen Datei.
|
private boolean |
makeConfigFile()
Legt die Konfigurationsdatei im Verzeichnis .sudoku des
home-Verzeichnisses des Users an
|
void |
saveProperties()
Speichert die Properties.
|
void |
saveProperties(java.util.Properties prop)
Speichert die Properties prop als XML-Datei im Home-Verzeichnis des Users
|
void |
setProperty(java.lang.String key,
java.lang.String value)
Setzt den Wert value zur Eigenschaft key der Properties.
|
private java.lang.String configFilePath
private final java.lang.String header
private java.util.Properties defaultProperties
private java.util.Properties properties
private boolean makeConfigFile()
public void saveProperties()
public void saveProperties(java.util.Properties prop)
prop
- das zu speichernde Properties-Objektpublic void loadProperties()
public void setProperty(java.lang.String key, java.lang.String value)
key
- String
, der Properties-Keyvalue
- String
, der Properties-Wertpublic java.lang.String getProperty(java.lang.String key)
key
- Schlüssel der gefragten Eigenschaft