nl.cwi.sen1.tide
Class PreferenceSet

java.lang.Object
  nl.cwi.sen1.tide.PreferenceSet

public class PreferenceSet
extends java.lang.Object

Field Summary

private boolean	is_clean
private java.util.List<PreferenceListener>	listeners
private java.util.List<java.lang.String>	preferenceNames
private java.util.Properties	preferences
static java.lang.String	PREFS_FILE

Constructor Summary

PreferenceSet(java.util.Properties defaults)

Method Summary

void	addPreferenceListener(PreferenceListener listener)
void	firePreferenceChanged(java.lang.String name, java.lang.String oldValue, java.lang.String newValue)
void	firePreferencesChanged()
void	firePreferencesStatusChanged(boolean new_status)
java.lang.Boolean	getBooleanPreference(java.lang.String name)
java.awt.Font	getFontPreference(java.lang.String name)
java.lang.Integer	getIntegerPreference(java.lang.String name)
java.lang.String	getPreference(java.lang.String name)
void	loadPreferences()
void	loadPreferences(java.io.InputStream input)
java.util.Iterator<java.lang.String>	preferenceNameIterator(java.lang.String prefix)
void	registerPreference(java.lang.String name)
void	removePreferenceListener(PreferenceListener listener)
void	savePreferences()
void	savePreferences(java.io.OutputStream stream)
void	setBooleanPreference(java.lang.String name, boolean value)
void	setClean()
void	setIntegerPreference(java.lang.String name, int value)
void	setPreference(java.lang.String name, java.lang.String value)
private void	setStatus(boolean status)

Methods inherited from class java.lang.Object

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

Field Detail

PREFS_FILE

public static final java.lang.String PREFS_FILE

See Also:

Constant Field Values

preferenceNames

private java.util.List<java.lang.String> preferenceNames

preferences

private java.util.Properties preferences

listeners

private java.util.List<PreferenceListener> listeners

is_clean

private boolean is_clean

Constructor Detail

PreferenceSet

public PreferenceSet(java.util.Properties defaults)

Method Detail

registerPreference

public void registerPreference(java.lang.String name)

preferenceNameIterator

public java.util.Iterator<java.lang.String> preferenceNameIterator(java.lang.String prefix)

addPreferenceListener

public void addPreferenceListener(PreferenceListener listener)

removePreferenceListener

public void removePreferenceListener(PreferenceListener listener)

firePreferenceChanged

public void firePreferenceChanged(java.lang.String name,
                                  java.lang.String oldValue,
                                  java.lang.String newValue)

firePreferencesChanged

public void firePreferencesChanged()

firePreferencesStatusChanged

public void firePreferencesStatusChanged(boolean new_status)

loadPreferences

public void loadPreferences()
                     throws java.io.IOException

Throws:

java.io.IOException

loadPreferences

public void loadPreferences(java.io.InputStream input)
                     throws java.io.IOException

Throws:

java.io.IOException

savePreferences

public void savePreferences()
                     throws java.io.IOException

Throws:

java.io.IOException

savePreferences

public void savePreferences(java.io.OutputStream stream)
                     throws java.io.IOException

Throws:

java.io.IOException

setClean

public void setClean()

setStatus

private void setStatus(boolean status)

setPreference

public void setPreference(java.lang.String name,
                          java.lang.String value)

setBooleanPreference

public void setBooleanPreference(java.lang.String name,
                                 boolean value)

setIntegerPreference

public void setIntegerPreference(java.lang.String name,
                                 int value)

getPreference

public java.lang.String getPreference(java.lang.String name)

getBooleanPreference

public java.lang.Boolean getBooleanPreference(java.lang.String name)

getIntegerPreference

public java.lang.Integer getIntegerPreference(java.lang.String name)

getFontPreference

public java.awt.Font getFontPreference(java.lang.String name)