|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--nl.madline.opendp500.JDPConfig
This is a representation of the configuration file. Methods are created to get/set options and save the file to disk
Constructor Summary | |
JDPConfig(java.io.File f)
Default contructor |
Method Summary | |
java.io.File |
getConfigFile()
|
java.util.Properties |
getProperties()
Return the current configuration as a Properties object |
java.lang.String |
getProperty(java.lang.String property)
Return the value of a given property in the configuration |
void |
save()
Save the current configuration from memory to disk, using the filename this object was created with. |
void |
setProperty(java.lang.String name,
java.lang.String value)
Set a property in the configuration to 'value'. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public JDPConfig(java.io.File f)
f
- The configuration file as a File-objectMethod Detail |
public void setProperty(java.lang.String name, java.lang.String value)
name
- The variable name in the configuration filevalue
- The new value of the settingpublic java.util.Properties getProperties()
public java.lang.String getProperty(java.lang.String property)
property
- The name of the property
public void save()
public java.io.File getConfigFile()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |