Saros
Distributed Collaborative Editing and Distributed Party Programming
|
Public Member Functions | |
EclipsePreferenceStoreAdapter (final IPreferenceStore delegate) | |
void | addPreferenceChangeListener (final IPreferenceChangeListener listener) |
void | removePreferenceChangeListener (final IPreferenceChangeListener listener) |
boolean | getBoolean (String name) |
boolean | getDefaultBoolean (String name) |
int | getInt (String name) |
int | getDefaultInt (String name) |
long | getLong (String name) |
long | getDefaultLong (String name) |
String | getString (String name) |
String | getDefaultString (String name) |
void | setValue (String name, int value) |
void | setValue (String name, long value) |
void | setValue (String name, String value) |
void | setValue (String name, boolean value) |
void | setDefault (String name, int value) |
void | setDefault (String name, long value) |
void | setDefault (String name, String value) |
void | setDefault (String name, boolean value) |
IPreferenceStore | getPreferenceStore () |
Adapts Eclipse's preference storing and change notification mechanism to Saros's IPreferences interface.
de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.EclipsePreferenceStoreAdapter | ( | final IPreferenceStore | delegate | ) |
Constructs an EclipsePreferenceStoreAdapter with an IPreferenceStore
delegate |
void de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.addPreferenceChangeListener | ( | final IPreferenceChangeListener | listener | ) |
boolean de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.getBoolean | ( | String | name | ) |
Returns the current value of the named preference as a Boolean. If there is no preference or the value can not be converted to a boolean, it returns false
.
name | of the named preference |
Implements de.fu_berlin.inf.dpp.preferences.IPreferenceStore.
boolean de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.getDefaultBoolean | ( | String | name | ) |
Returns the default value of the named preference as a Boolean. If there is no preference or the value can not be converted to a boolean, it returns false
.
name | of the named preference |
Implements de.fu_berlin.inf.dpp.preferences.IPreferenceStore.
int de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.getDefaultInt | ( | String | name | ) |
Returns the default value of the named preference as a Integer. If there is no preference or the value can not be converted to a integer, it returns 0
.
name | of the named preference |
Implements de.fu_berlin.inf.dpp.preferences.IPreferenceStore.
long de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.getDefaultLong | ( | String | name | ) |
Returns the default value of the named preference as a Long. If there is no preference or the value can not be converted to a long, it returns 0
.
name | of the named preference |
Implements de.fu_berlin.inf.dpp.preferences.IPreferenceStore.
String de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.getDefaultString | ( | String | name | ) |
Returns the default value of the named preference as a String. If there is no preference or the value can not be converted to a String, it returns ""(empty String)
.
name | of the named preference |
Implements de.fu_berlin.inf.dpp.preferences.IPreferenceStore.
int de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.getInt | ( | String | name | ) |
Returns the current value of the named preference as a Integer. If there is no preference or the value can not be converted to a integer, it returns 0
.
name | of the named preference |
Implements de.fu_berlin.inf.dpp.preferences.IPreferenceStore.
long de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.getLong | ( | String | name | ) |
Returns the current value of the named preference as a Long. If there is no preference or the value can not be converted to a long, it returns 0
.
name | of the named preference |
Implements de.fu_berlin.inf.dpp.preferences.IPreferenceStore.
IPreferenceStore de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.getPreferenceStore | ( | ) |
Returns the IPreferenceStore preference store} for this adapter.
String de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.getString | ( | String | name | ) |
Returns the current value of the named preference as a String. If there is no preference or the value can not be converted to a String, it returns ""(empty String)
.
name | of the named preference |
Implements de.fu_berlin.inf.dpp.preferences.IPreferenceStore.
void de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.removePreferenceChangeListener | ( | final IPreferenceChangeListener | listener | ) |
void de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.setDefault | ( | String | name, |
long | value | ||
) |
Sets the current default value to an Long valued preference for the given name. No preferenceChangeEvent will be reported.
name | of the named preference |
value | new default value |
Implements de.fu_berlin.inf.dpp.preferences.IPreferenceStore.
void de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.setDefault | ( | String | name, |
boolean | value | ||
) |
Sets the current default value to an Boolean valued preference for the given name. No preferenceChangeEvent will be reported.
name | of the named preference |
value | new default value |
Implements de.fu_berlin.inf.dpp.preferences.IPreferenceStore.
void de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.setDefault | ( | String | name, |
int | value | ||
) |
Sets the current default value to an Integer valued preference for the given name. No preferenceChangeEvent will be reported.
name | of the named preference |
value | new current value |
Implements de.fu_berlin.inf.dpp.preferences.IPreferenceStore.
void de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.setDefault | ( | String | name, |
String | value | ||
) |
Sets the current default value to an String valued preference for the given name. No preferenceChangeEvent will be reported.
name | of the named preference |
value | new default value, can not be null |
Implements de.fu_berlin.inf.dpp.preferences.IPreferenceStore.
void de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.setValue | ( | String | name, |
boolean | value | ||
) |
Sets the current value to an Boolean valued preference for the given name. If the new value differ from the old value, a preferenceChangeEvent will be reported.
name | of the named preference |
value | new current value |
Implements de.fu_berlin.inf.dpp.preferences.IPreferenceStore.
void de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.setValue | ( | String | name, |
long | value | ||
) |
Sets the current value to an Long valued preference for the given name. If the new value differ from the old value, a preferenceChangeEvent will be reported.
name | of the named preference |
value | new default value |
Implements de.fu_berlin.inf.dpp.preferences.IPreferenceStore.
void de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.setValue | ( | String | name, |
String | value | ||
) |
Sets the current value to an String valued preference for the given name. If the new value differ from the old value, a preferenceChangeEvent will be reported.
name | of the named preference |
value | new current value, can not be null |
Implements de.fu_berlin.inf.dpp.preferences.IPreferenceStore.
void de.fu_berlin.inf.dpp.preferences.EclipsePreferenceStoreAdapter.setValue | ( | String | name, |
int | value | ||
) |
Sets the current value to an Integer valued preference for the given name. If the new value differ from the old value, a preferenceChangeEvent will be reported.
name | of the named preference |
value | new current value |
Implements de.fu_berlin.inf.dpp.preferences.IPreferenceStore.