org.eclipse.ocl.examples.pivot.delegate
Class OCLDelegateDomain.PivotOnlyVirtualDelegateMapping

java.lang.Object
  extended by org.eclipse.ocl.common.internal.preferences.Preference<java.lang.String>
      extended by org.eclipse.ocl.common.internal.preferences.StringPreference
          extended by org.eclipse.ocl.common.delegate.VirtualDelegateMapping
              extended by org.eclipse.ocl.examples.pivot.delegate.OCLDelegateDomain.PivotOnlyVirtualDelegateMapping
All Implemented Interfaces:
PreferenceableOption<java.lang.String>, PreferenceableOption.PreferenceableOption2<java.lang.String>
Enclosing class:
OCLDelegateDomain

protected static class OCLDelegateDomain.PivotOnlyVirtualDelegateMapping
extends VirtualDelegateMapping


Nested Class Summary
 
Nested classes/interfaces inherited from interface org.eclipse.ocl.common.preferences.PreferenceableOption
PreferenceableOption.Listener, PreferenceableOption.PreferenceableOption2<T>
 
Field Summary
static OCLDelegateDomain.PivotOnlyVirtualDelegateMapping INSTANCE
           
 
Fields inherited from class org.eclipse.ocl.common.internal.preferences.Preference
defaultValue, key, pluginId
 
Constructor Summary
protected OCLDelegateDomain.PivotOnlyVirtualDelegateMapping()
           
 
Method Summary
 java.lang.String getDefaultValue()
          Obtains the option's default value.
 java.lang.String getPreferredValue()
          Get the preferred value of this option.
 
Methods inherited from class org.eclipse.ocl.common.delegate.VirtualDelegateMapping
getRegistry, resolve
 
Methods inherited from class org.eclipse.ocl.common.internal.preferences.StringPreference
getValueOf
 
Methods inherited from class org.eclipse.ocl.common.internal.preferences.Preference
addListener, fireChanged, getKey, getPluginId, removeListener, setDefaultValue, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

INSTANCE

@NonNull
public static final OCLDelegateDomain.PivotOnlyVirtualDelegateMapping INSTANCE
Constructor Detail

OCLDelegateDomain.PivotOnlyVirtualDelegateMapping

protected OCLDelegateDomain.PivotOnlyVirtualDelegateMapping()
Method Detail

getDefaultValue

@Nullable
public java.lang.String getDefaultValue()
Description copied from class: Preference
Obtains the option's default value.

Specified by:
getDefaultValue in interface PreferenceableOption<java.lang.String>
Overrides:
getDefaultValue in class Preference<java.lang.String>
Returns:
my default value, which default-default is null

getPreferredValue

@Nullable
public java.lang.String getPreferredValue()
Description copied from class: Preference
Get the preferred value of this option. When running standalone this is the built-in default. When running in Eclipse, the built-in default may be overridden by a user preference.

Specified by:
getPreferredValue in interface PreferenceableOption.PreferenceableOption2<java.lang.String>
Overrides:
getPreferredValue in class Preference<java.lang.String>