org.eclipse.ocl.common.internal.preferences
Class EnumerationPreference<T extends java.lang.Enum<T>>

java.lang.Object
  extended by org.eclipse.ocl.common.internal.preferences.Preference<T>
      extended by org.eclipse.ocl.common.internal.preferences.EnumerationPreference<T>
All Implemented Interfaces:
PreferenceableOption<T>

public class EnumerationPreference<T extends java.lang.Enum<T>>
extends Preference<T>

A configurable preference with an Enumeration value.


Field Summary
 java.lang.Class<T> type
           
 
Fields inherited from class org.eclipse.ocl.common.internal.preferences.Preference
defaultValue, key, pluginId
 
Constructor Summary
EnumerationPreference(java.lang.String pluginId, java.lang.String key, T defaultValue, java.lang.Class<T> type)
           
 
Method Summary
 T 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
 

Field Detail

type

public final java.lang.Class<T extends java.lang.Enum<T>> type
Constructor Detail

EnumerationPreference

public EnumerationPreference(java.lang.String pluginId,
                             java.lang.String key,
                             T defaultValue,
                             java.lang.Class<T> type)
Method Detail

getValueOf

public T getValueOf(java.lang.String string)
Description copied from interface: PreferenceableOption
Returns an option value from a String typically obtained from an Eclipse Preference file.