|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.ocl.common.internal.preferences.Preference<java.lang.String>
org.eclipse.ocl.common.internal.preferences.StringPreference
public class StringPreference
A configurable preference with a String value.
| Field Summary |
|---|
| Fields inherited from class org.eclipse.ocl.common.internal.preferences.Preference |
|---|
defaultValue, key, pluginId |
| Constructor Summary | |
|---|---|
StringPreference(java.lang.String pluginId,
java.lang.String key,
java.lang.String defaultValue)
|
|
| Method Summary | |
|---|---|
java.lang.String |
getValueOf(java.lang.String string)
Returns an option value from a String typically obtained from an Eclipse Preference file. |
| Methods inherited from class org.eclipse.ocl.common.internal.preferences.Preference |
|---|
getDefaultValue, getKey, getPluginId, setDefaultValue, toString |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public StringPreference(java.lang.String pluginId,
java.lang.String key,
java.lang.String defaultValue)
| Method Detail |
|---|
public java.lang.String getValueOf(java.lang.String string)
PreferenceableOption
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||