| java.lang.Object
 edu.rice.cs.drjava.config.Configuration
edu.rice.cs.drjava.config.SavableConfiguration
All known Subclasses: edu.rice.cs.drjava.config.FileConfiguration,
| SavableConfiguration | | public class SavableConfiguration extends Configuration (Code) | | A Configuration object that can be read and saved from a Stream.
version:
$Id: SavableConfiguration.java 4255 2007-08-28 19:17:37Z mgricken $ |
| Method Summary | |
| public void | loadConfiguration(InputStream is)
Creates an OptionMapLoader with the values loaded from the InputStream
(and defaults where values weren't specified) and loads them into
this Configuration's OptionMap. | | public void | saveConfiguration(OutputStream os, String header)
Used to save the values from this Configuration into the given OutputStream
as a Properties file. |
| SavableConfiguration | | public SavableConfiguration(OptionMap map)(Code) | | Creates a new Configuration based on the given OptionMap.
Parameters:
map - an empty OptionMap |
| loadConfiguration | | public void loadConfiguration(InputStream is) throws IOException(Code) | | Creates an OptionMapLoader with the values loaded from the InputStream
(and defaults where values weren't specified) and loads them into
this Configuration's OptionMap.
Parameters:
is - InputStream containing properties-style keys and values |
| saveConfiguration | | public void saveConfiguration(OutputStream os, String header) throws IOException(Code) | | Used to save the values from this Configuration into the given OutputStream
as a Properties file. The elements weren't ordered, so now the properties
are written in the same way as the about dialog.
Values equal to their defaults are not written to disk.
|
|
|