| java.lang.Object org.acm.seguin.ide.common.options.PropertiesFile
Constructor Summary | |
public | PropertiesFile(FileSettings props) initializes the properties with the settings of a FileSettings
instance. |
Method Summary | |
public void | deleteKey(String key) | public boolean | getBoolean(String key) | public boolean | getBoolean(String key, boolean defaultValue) | public int | getInteger(String key, int defaultValue) | public String | getString(String key) | public String | getString(String key, String defaultValue) | public boolean | isLocalProperty(String key) | public synchronized void | save() Reloads the original property file, overrides the old values with the
stored new ones, and saves the property file, if there are any changes. | public synchronized void | save(File file) Reloads the original property file, overrides the old values with the
stored new ones, and saves the property file, if there are any changes. | public void | setString(String key, String value) | public String | toString() |
PropertiesFile | public PropertiesFile(FileSettings props)(Code) | | initializes the properties with the settings of a FileSettings
instance.
Parameters: props - Description of the Parameter |
deleteKey | public void deleteKey(String key)(Code) | | Description of the Method
Parameters: key - Description of the Parameter |
getBoolean | public boolean getBoolean(String key)(Code) | | Parameters: key - the property key true, if the value of the property equals "true", falseotherwise |
getBoolean | public boolean getBoolean(String key, boolean defaultValue)(Code) | | Parameters: key - the property key Parameters: defaultValue - Description of the Parameter true, if the value of the property equals "true",false otherwise |
getInteger | public int getInteger(String key, int defaultValue)(Code) | | Parameters: key - the property key Parameters: defaultValue - a default value the value of the property as int, or thedefaultValue if either the property cannot be found, or the storedproperty is not a valid integer. |
getString | public String getString(String key)(Code) | | Parameters: key - the property key the value of the property as String, or null if the propertycannot be found. |
getString | public String getString(String key, String defaultValue)(Code) | | Parameters: key - the property key Parameters: defaultValue - a default value the value of the property as String, or the defaultvalue if the property cannot be found. |
isLocalProperty | public boolean isLocalProperty(String key)(Code) | | Gets the localProperty attribute of the PropertiesFile object
Parameters: key - Description of the Parameter The localProperty value |
save | public synchronized void save()(Code) | | Reloads the original property file, overrides the old values with the
stored new ones, and saves the property file, if there are any changes.
|
save | public synchronized void save(File file) throws IOException(Code) | | Reloads the original property file, overrides the old values with the
stored new ones, and saves the property file, if there are any changes.
Parameters: file - Description of the Parameter exception: IOException - Description of the Exception |
setString | public void setString(String key, String value)(Code) | | Sets the string attribute of the PropertiesFile object
Parameters: key - The new string value Parameters: value - The new string value |
toString | public String toString()(Code) | | Description of the Method
Description of the Return Value |
|
|