edu.rice.cs.drjava.config
Class FileConfiguration
java.lang.Object
|
+--edu.rice.cs.drjava.config.Configuration
|
+--edu.rice.cs.drjava.config.SavableConfiguration
|
+--edu.rice.cs.drjava.config.FileConfiguration
- public class FileConfiguration
- extends SavableConfiguration
A Configuration object that is backed by a file.
- Version:
- $Id: FileConfiguration.java,v 1.3 2002/06/20 17:05:51 csreis Exp $
Constructor Summary |
FileConfiguration(File f)
Creates a new Configuration object using the values stored in file f. |
Method Summary |
void |
loadConfiguration()
Calls SavableConfiguration.loadConfiguration, which loads all values
from the file, based on the defaults in OptionConstants. |
void |
saveConfiguration()
Saves the current settings to the stored properties file. |
void |
saveConfiguration(String header)
Saves the current settings to the stored properties file. |
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait |
file
public final File file
FileConfiguration
public FileConfiguration(File f)
- 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
- Calls SavableConfiguration.loadConfiguration, which loads all values
from the file, based on the defaults in OptionConstants.
saveConfiguration
public void saveConfiguration()
throws IOException
- Saves the current settings to the stored properties file.
saveConfiguration
public void saveConfiguration(String header)
throws IOException
- Saves the current settings to the stored properties file.
- Parameters:
header
- Description of the properties list