arom.gui.ide
Class UserPreferences

java.lang.Object
  |
  +--arom.gui.ide.UserPreferences

Direct Known Subclasses:

AromIDEPreferences

public abstract class UserPreferences

extends Object

UserPreferences is an abstract class that manages user preferences for any application. Preferences are indexed by a key and each key is associated with a value. Keys are String and values are Objects. This object is associated with a file which is used to store the user preferences content.

Version:

0.2

Constructor Summary

UserPreferences()

Method Summary

protected String	getDefaultPropertiesFileName()
protected abstract Object[][]	getDefaults()
String	getFilename()
Object	getProperty(String key)
void	readProperties()
void	setFilename(String name)
void	setProperty(String key, Object value)
void	writeProperties()

Methods inherited from class java.lang.Object

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

Constructor Detail

UserPreferences

public UserPreferences()

Method Detail

getDefaults

protected abstract Object[][] getDefaults()

getFilename

public String getFilename()

setFilename

public void setFilename(String name)

getProperty

public Object getProperty(String key)

setProperty

public void setProperty(String key,
                        Object value)

readProperties

public void readProperties()

writeProperties

public void writeProperties()

getDefaultPropertiesFileName

protected String getDefaultPropertiesFileName()