|
||||||||||
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 |