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

java.lang.Object
  org.eclipse.ocl.common.internal.preferences.Preference<java.lang.String>
      org.eclipse.ocl.common.internal.preferences.StringPreference
          org.eclipse.ocl.common.delegate.VirtualDelegateMapping
              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>