| java.lang.Object edu.rice.cs.drjava.config.Configuration edu.rice.cs.drjava.config.SavableConfiguration edu.rice.cs.drjava.config.FileConfiguration
FileConfiguration | public class FileConfiguration extends SavableConfiguration (Code) | | A Configuration object that is backed by a file.
version: $Id: FileConfiguration.java 4255 2007-08-28 19:17:37Z mgricken $ |
Constructor Summary | |
public | FileConfiguration(File f) Creates a new Configuration object using the values stored in file f. |
Method Summary | |
public void | loadConfiguration() Calls SavableConfiguration.loadConfiguration, which loads all values from the file, based on the defaults in
OptionConstants. | public void | saveConfiguration() Saves the current settings to the stored properties file. | public void | saveConfiguration(String header) Saves the current settings to the stored properties file. |
FileConfiguration | public FileConfiguration(File f)(Code) | | Creates a new Configuration object using the values stored in file f. Any values not specified by f will be
set to defaults from OptionConstants.
Parameters: f - Properties file containing customized values |
loadConfiguration | public void loadConfiguration() throws IOException(Code) | | Calls SavableConfiguration.loadConfiguration, which loads all values from the file, based on the defaults in
OptionConstants.
|
saveConfiguration | public void saveConfiguration() throws IOException(Code) | | Saves the current settings to the stored properties file.
|
saveConfiguration | public void saveConfiguration(String header) throws IOException(Code) | | Saves the current settings to the stored properties file.
Parameters: header - Description of the properties list |
|
|