|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectsemorg.Configuration
public class Configuration
This class holds the configuration of the application and provides methods to get and set some properties of the application.
| Field Summary | |
|---|---|
private static String |
huSemOrgConfFile
The path to configuration file of the application. |
private Properties |
huSemOrgProperties
Holds the configuration for the application at runtime. |
| Constructor Summary | |
|---|---|
Configuration()
Creates a Configuration object, which holds the configuration of
the application. |
|
| Method Summary | |
|---|---|
String |
getProperty(String key)
Returns for given key the corresponding value of a property. |
private void |
makeStdConfiguration()
Creates the standard configuration of the application. |
private void |
saveConfiguration()
Saves the current configuration to file. |
void |
setProperty(String key,
String value)
Sets the property defined by the given key to the given value. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
private Properties huSemOrgProperties
private static final String huSemOrgConfFile
| Constructor Detail |
|---|
public Configuration()
Configuration object, which holds the configuration of
the application.
| Method Detail |
|---|
private void saveConfiguration()
private void makeStdConfiguration()
public void setProperty(String key,
String value)
key - identifier of the property to setvalue - new value of the propertypublic String getProperty(String key)
key - name of the property
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||