org.eclipse.ocl.pivot.options

Class EnumeratedOption<T extends Enum<T>>

java.lang.Object

org.eclipse.ocl.pivot.options.BasicOption<T>

org.eclipse.ocl.pivot.options.EnumeratedOption<T>

All Implemented Interfaces:

PreferenceableOption<T>, Option<T>

public class EnumeratedOption<T extends Enum<T>>
extends BasicOption<T>

Implementation of the PreferenceableOption interface for enum OCL options.

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.common.preferences.PreferenceableOption

PreferenceableOption.Listener, PreferenceableOption.PreferenceableOption2<T>

Constructor Summary

Constructors

Constructor and Description
EnumeratedOption(String pluginId, String key, T defaultValue, Class<T> enumType)

Method Summary

Modifier and Type	Method and Description
Class<T>	getEnumType()
T	getValueOf(String string) Returns an option value from a String typically obtained from an Eclipse Preference file.

Methods inherited from class org.eclipse.ocl.pivot.options.BasicOption

getDefaultValue, getKey, getPluginId

Methods inherited from class java.lang.Object

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

Constructor Detail

EnumeratedOption

public EnumeratedOption(String pluginId,
                        String key,
                        T defaultValue,
                        Class<T> enumType)

Method Detail

getEnumType

public final Class<T> getEnumType()

getValueOf

public T getValueOf(String string)

Description copied from interface: PreferenceableOption

Returns an option value from a String typically obtained from an Eclipse Preference file.