|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object
|
+--org.gjt.rec.util.AbstractSettings
|
+--org.gjt.rec.util.ResourceSettings
Presents the contents of a resource bundle through the Settings
interface.
Settings| Field Summary | |
static String |
REVISION
|
| Constructor Summary | |
ResourceSettings(ResourceBundle b)
Constructs a new ResourceSettings object using the supplied resource bundle as inspiration for the settings. |
|
| Method Summary | |
Object |
get(String name)
Looks up the value of a setting. |
Iterator |
getNames()
Returns an Iterator over the names of each setting in this settings object. |
void |
remove(String name)
Removes a setting. |
void |
set(String name,
Object value)
Sets the value of a setting. |
| Methods inherited from class org.gjt.rec.util.AbstractSettings |
addSettingsListener, fireSettingsChanged, removeSettingsListener |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Methods inherited from interface org.gjt.rec.util.Settings |
addSettingsListener, removeSettingsListener |
| Field Detail |
public static final String REVISION
| Constructor Detail |
public ResourceSettings(ResourceBundle b)
b - the supplied resource bundle| Method Detail |
public Iterator getNames()
Settings
getNames in interface Settingspublic Object get(String name)
Settings
get in interface Settingsname - the name of the setting to look up
public void set(String name,
Object value)
Settings
set in interface Settingsname - the name of the setting to set the value ofvalue - the (new) value of the settingpublic void remove(String name)
Settings
remove in interface Settingsname - the name of the setting to remove
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||