public class PreferenceManager
extends java.lang.Object
Here is a short usage example:
// at application intialization HashMap defaults = new HashMap(); defaults.put("windowSize", new Dimension(640, 480)); defaults.put("antialias", Boolean.TRUE); PreferenceManager prefs = new PreferenceManager("application.ini", defaults); try { prefs.load(); } catch (IOException e) { // } myApplication.setSize(prefs.getDimension("windowSize")); myApplication.setAntialiasingOn(prefs.getBoolean("antialias")); // later a dialog box may customize preferences myApplication.setAntialiasingOn(antialiasCheckBox.getState()); prefs.setBoolean("antialias", antialiasCheckBox.getState()); // when leaving the application we need to save the preferences prefs.setDimension("windowSize", myApplication.getSize()); prefs.setFiles("history", lastVisitedFileArray); try { prefs.save() } catch (IOException e) { // }
Modifier and Type | Field and Description |
---|---|
protected java.util.Map |
defaults |
protected static java.lang.String |
FILE_SEP |
protected java.lang.String |
fullName |
protected java.util.Properties |
internal |
protected java.lang.String |
prefFileName |
protected static java.lang.String |
USER_DIR |
protected static java.lang.String |
USER_HOME |
Constructor and Description |
---|
PreferenceManager(java.lang.String prefFileName)
Creates a preference manager.
|
PreferenceManager(java.lang.String prefFileName,
java.util.Map defaults)
Creates a preference manager with a default values
initialization map.
|
Modifier and Type | Method and Description |
---|---|
boolean |
getBoolean(java.lang.String key)
Gets a boolean preference.
|
java.awt.Color |
getColor(java.lang.String key)
Retruns a Color preference.
|
java.awt.Dimension |
getDimension(java.lang.String key)
Returns a Dimension preference.
|
java.io.File |
getFile(java.lang.String key)
Returns a File preference.
|
java.io.File[] |
getFiles(java.lang.String mkey)
Returns an array of Files preference.
|
float |
getFloat(java.lang.String key)
Gets a float preference.
|
java.awt.Font |
getFont(java.lang.String key)
Returns a font preference.
|
int |
getInteger(java.lang.String key)
Gets an int preference.
|
java.awt.Point |
getPoint(java.lang.String key)
Returns a point preference.
|
static java.lang.String |
getPreferenceDirectory()
Returns a
String representing the directory
where PreferenceManager instances should look
for preferences. |
java.awt.Rectangle |
getRectangle(java.lang.String key)
Returns a Rectangle preference.
|
java.lang.String |
getString(java.lang.String key)
Returns a String preference.
|
java.lang.String[] |
getStrings(java.lang.String mkey)
Returns an array of String preference.
|
protected static java.lang.String |
getSystemProperty(java.lang.String prop)
Gets a System property if accessible.
|
java.net.URL |
getURL(java.lang.String key)
Returns an URL preference.
|
java.net.URL[] |
getURLs(java.lang.String mkey)
Returns an array of URLs preference.
|
void |
load()
Loads the preference file.
|
void |
save()
Saves the preference file.
|
void |
setBoolean(java.lang.String key,
boolean value)
Sets a boolean property.
|
void |
setColor(java.lang.String key,
java.awt.Color value)
Sets a Color preference.
|
void |
setDimension(java.lang.String key,
java.awt.Dimension value)
Sets a Dimension preference.
|
void |
setFile(java.lang.String key,
java.io.File value)
Sets a File property.
|
void |
setFiles(java.lang.String mkey,
java.io.File[] values)
Sets an array of Files property.
|
void |
setFloat(java.lang.String key,
float value)
Sets a float property.
|
void |
setFont(java.lang.String key,
java.awt.Font value)
Sets a Font preference.
|
void |
setInteger(java.lang.String key,
int value)
Sets an int property.
|
void |
setPoint(java.lang.String key,
java.awt.Point value)
Sets a Point preference.
|
static void |
setPreferenceDirectory(java.lang.String dir)
Sets a
String representing the directory
where PreferenceManager instances should look
for preferences files. |
void |
setRectangle(java.lang.String key,
java.awt.Rectangle value)
Sets a Rectangle preference.
|
void |
setString(java.lang.String key,
java.lang.String value)
Sets a String preference.
|
void |
setStrings(java.lang.String mkey,
java.lang.String[] values)
Sets a String array preference.
|
void |
setURL(java.lang.String key,
java.net.URL value)
Sets an URL property.
|
void |
setURLs(java.lang.String mkey,
java.net.URL[] values)
Sets an array of URLs property.
|
protected java.util.Properties internal
protected java.util.Map defaults
protected java.lang.String prefFileName
protected java.lang.String fullName
protected static final java.lang.String USER_HOME
protected static final java.lang.String USER_DIR
protected static final java.lang.String FILE_SEP
public PreferenceManager(java.lang.String prefFileName)
prefFileName
- the name of the preference file.public PreferenceManager(java.lang.String prefFileName, java.util.Map defaults)
prefFileName
- the name of the preference file.defaults
- where to get defaults value if the value is
not specified in the file.protected static java.lang.String getSystemProperty(java.lang.String prop)
public static void setPreferenceDirectory(java.lang.String dir)
String
representing the directory
where PreferenceManager
instances should look
for preferences files. The default value is null
which means the automatic mechanism for looking for preferences
is used.load()
public static java.lang.String getPreferenceDirectory()
String
representing the directory
where PreferenceManager
instances should look
for preferences.load()
,
setPreferenceDirectory(java.lang.String)
public void load() throws java.io.IOException
setPreferenceDirectory(java.lang.String)
if it exists, in the user
home directory and then in the current user directory.java.io.IOException
- if an error occured when reading the file.save()
public void save() throws java.io.IOException
setPreferenceDirectory(java.lang.String)
if has been set and exists, otherwise in the user home directory.java.io.IOException
- if an error occured when writing the file or
if is impossible to write the file at all available locations.load()
public java.awt.Rectangle getRectangle(java.lang.String key)
public java.awt.Dimension getDimension(java.lang.String key)
public java.awt.Point getPoint(java.lang.String key)
public java.awt.Color getColor(java.lang.String key)
public java.awt.Font getFont(java.lang.String key)
public java.lang.String getString(java.lang.String key)
public java.lang.String[] getStrings(java.lang.String mkey)
public java.net.URL getURL(java.lang.String key)
public java.net.URL[] getURLs(java.lang.String mkey)
public java.io.File getFile(java.lang.String key)
public java.io.File[] getFiles(java.lang.String mkey)
public int getInteger(java.lang.String key)
public float getFloat(java.lang.String key)
public boolean getBoolean(java.lang.String key)
public void setRectangle(java.lang.String key, java.awt.Rectangle value)
public void setDimension(java.lang.String key, java.awt.Dimension value)
public void setPoint(java.lang.String key, java.awt.Point value)
public void setColor(java.lang.String key, java.awt.Color value)
public void setFont(java.lang.String key, java.awt.Font value)
public void setString(java.lang.String key, java.lang.String value)
public void setStrings(java.lang.String mkey, java.lang.String[] values)
public void setURL(java.lang.String key, java.net.URL value)
public void setURLs(java.lang.String mkey, java.net.URL[] values)
public void setFile(java.lang.String key, java.io.File value)
public void setFiles(java.lang.String mkey, java.io.File[] values)
public void setInteger(java.lang.String key, int value)
public void setFloat(java.lang.String key, float value)
public void setBoolean(java.lang.String key, boolean value)
Copyright © 2022 Apache Software Foundation. All Rights Reserved.