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 4498 2008-05-29 05:23:30Z rcartwright $

Field Summary

File

file

Fields inherited from class edu.rice.cs.drjava.config.Configuration

_startupException, map

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 edu.rice.cs.drjava.config.SavableConfiguration

loadConfiguration, saveConfiguration

Methods inherited from class edu.rice.cs.drjava.config.Configuration

addOptionListener, getOptionMap, getSetting, getStartupException, hadStartupException, removeOptionListener, resetToDefaults, setSetting, storeStartupException, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

file

public final File file

Constructor Detail

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

Method Detail

loadConfiguration

public void loadConfiguration()
                       throws IOException

Calls SavableConfiguration.loadConfiguration, which loads all values from the file, based on the defaults in OptionConstants.

Throws:

IOException

saveConfiguration

public void saveConfiguration()
                       throws IOException

Saves the current settings to the stored properties file.

Throws:

IOException

saveConfiguration

public void saveConfiguration(String header)
                       throws IOException

Saves the current settings to the stored properties file.

Parameters:

header - Description of the properties list

Throws:

IOException