textbender.g.util.prefs
Class IntegerPreference

java.lang.Object
  Preference
      IntegerPreference

Direct Known Subclasses:

IntegerPreferenceDC

public class IntegerPreference
extends Preference

An int in a preference node.

Field Summary

Fields inherited from class Preference

key, preferences

Constructor Summary

IntegerPreference(Preferences preferences, String key, int def)
Creates an IntegerPreference.

Method Summary

int	get() Retrieves the value of this preference from storage.
int	getDefault() Returns the default value of this preference.
void	put(int value) Stores a new value for the preference.
void	setDefault(int newDefault) Sets the default value, per getDefault().

Methods inherited from class Preference

key, preferences, remove

Methods inherited from class java.lang.Object

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

Constructor Detail

IntegerPreference

public IntegerPreference(Preferences preferences,
                         String key,
                         int def)

Creates an IntegerPreference.

Parameters:

preferences - per preferences()

key - per key()

def - default per getDefault()

Method Detail

get

public int get()

Retrieves the value of this preference from storage. Equivalent to preferences.getInt(key,default)

Returns:

value if any was stored; else the default

getDefault

public int getDefault()

Returns the default value of this preference.

setDefault

public void setDefault(int newDefault)

Sets the default value, per getDefault().

put

public void put(int value)

Stores a new value for the preference. Equivalent to preferences.putInt(key,value).

Parameters:

value - new value of the preference