org.eclipse.ocl.examples.pivot.internal.impl

Class LambdaTypeImpl

java.lang.Object

org.eclipse.emf.common.notify.impl.BasicNotifierImpl

org.eclipse.emf.ecore.impl.BasicEObjectImpl

org.eclipse.emf.ecore.impl.EObjectImpl

org.eclipse.ocl.examples.pivot.utilities.PivotObjectImpl

org.eclipse.ocl.examples.pivot.internal.impl.ElementImpl

org.eclipse.ocl.examples.pivot.internal.impl.NamedElementImpl

org.eclipse.ocl.examples.pivot.internal.impl.TypeImpl

org.eclipse.ocl.examples.pivot.internal.impl.ClassImpl

org.eclipse.ocl.examples.pivot.internal.impl.DataTypeImpl

org.eclipse.ocl.examples.pivot.internal.impl.LambdaTypeImpl

All Implemented Interfaces:

org.eclipse.emf.common.notify.Adapter, org.eclipse.emf.common.notify.Adapter.Internal, org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.InternalEObject, DomainElement, DomainLambdaType, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue, Class, DataType, Element, LambdaType, NamedElement, Namespace, ParameterableElement, TemplateableElement, Type, Visitable, PivotObject

public class LambdaTypeImpl
extends DataTypeImpl
implements LambdaType

An implementation of the model object 'Lambda Type'.

The following features are implemented:

• Context Type
• Parameter Type
• Result Type

Generated

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolder, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderBaseImpl, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderImpl

Nested classes/interfaces inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EAdapterList<E extends java.lang.Object & org.eclipse.emf.common.notify.Adapter>, org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EObservableAdapterList

Nested classes/interfaces inherited from interface org.eclipse.emf.common.notify.Adapter

org.eclipse.emf.common.notify.Adapter.Internal

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.InternalEObject

org.eclipse.emf.ecore.InternalEObject.EStore

Field Summary

Fields

Modifier and Type	Field and Description
protected Type	contextType The cached value of the 'Context Type' reference.
protected org.eclipse.emf.common.util.EList<Type>	parameterType The cached value of the 'Parameter Type' reference list.
protected Type	resultType The cached value of the 'Result Type' reference.

Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.DataTypeImpl

behavioralType, IS_SERIALIZABLE_EDEFAULT, IS_SERIALIZABLE_EFLAG

Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.ClassImpl

IS_ABSTRACT_EDEFAULT, IS_ABSTRACT_EFLAG, IS_INTERFACE_EDEFAULT, IS_INTERFACE_EFLAG, ownedBehavior, ownedRule

Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.TypeImpl

INSTANCE_CLASS_NAME_EDEFAULT, instanceClassName, ownedAttribute, ownedInvariant, ownedOperation, ownedTemplateSignature, superClass, templateBinding, templateParameter, unspecializedElement

Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.NamedElementImpl

IS_STATIC_EDEFAULT, IS_STATIC_EFLAG, name, NAME_EDEFAULT, ownedAnnotation

Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.ElementImpl

extension, ownedComment

Fields inherited from class org.eclipse.emf.ecore.impl.EObjectImpl

eAdapters, eContainer, eContainerFeatureID, EDELIVER, EDYNAMIC_CLASS, eFlags, ELAST_EOBJECT_FLAG, ELAST_NOTIFIER_FLAG, eProperties, EPROXY

Fields inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

EVIRTUAL_GET, EVIRTUAL_IS_SET, EVIRTUAL_NO_VALUE, EVIRTUAL_SET, EVIRTUAL_UNSET

Fields inherited from interface org.eclipse.emf.ecore.InternalEObject

EOPPOSITE_FEATURE_BASE

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	LambdaTypeImpl()

Method Summary

Methods

Modifier and Type	Method and Description
<R> R	accept(Visitor<R> visitor) Returns the result of accepting a visit from a visitor.
Type	basicGetContextType()
Type	basicGetResultType()
TypeId	computeId()
boolean	conformsTo(DomainStandardLibrary standardLibrary, DomainType type) Return true if this type conform to thatType within standardLibrary.
java.lang.Object	eGet(int featureID, boolean resolve, boolean coreType)
boolean	eIsSet(int featureID)
void	eSet(int featureID, java.lang.Object newValue)
protected org.eclipse.emf.ecore.EClass	eStaticClass()
void	eUnset(int featureID)
Type	getContextType()
ParametersId	getParametersId()
java.util.List<Type>	getParameterType()
java.util.List<? extends DomainType>	getParameterTypes()
Type	getResultType()
void	setContextType(Type newContextType)
void	setResultType(Type newResultType)

Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.DataTypeImpl

basicGetBehavioralType, getBehavioralType, getInheritance, isSerializable, setBehavioralType, setIsSerializable, toString

Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.ClassImpl

createOwnedAttribute, createOwnedBehavior, createOwnedBehavior, createOwnedOperation, createOwnedOperation, createOwnedRule, eBaseStructuralFeatureID, eDerivedStructuralFeatureID, eInverseAdd, eInverseRemove, getInstanceClassName, getOwnedAttribute, getOwnedBehavior, getOwnedOperation, getOwnedRule, getSuperClass, isAbstract, isInterface, isSetInstanceClassName, isSetOwnedAttribute, isSetOwnedOperation, isSetSuperClass, setInstanceClassName, setIsAbstract, setIsInterface

Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.TypeImpl

basicGetTemplateParameter, basicSetOwnedTemplateSignature, basicSetOwningTemplateParameter, basicSetPackage, basicSetTemplateParameter, createInstance, createInstance, createOwnedInvariant, createOwnedTemplateSignature, createTemplateBinding, eBasicRemoveFromContainerFeature, eDerivedOperationID, eInvoke, getCommonType, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getNormalizedType, getOwnedInvariant, getOwnedTemplateSignature, getOwningTemplateParameter, getPackage, getTemplateBinding, getTemplateParameter, getTypeId, getTypeParameters, getUnspecializedElement, isCompatibleWith, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isSetTemplateParameter, isTemplate, isTemplateParameter, isUnique, lookupImplementation, oclEquals, oclHashCode, parameterableElements, setOwnedTemplateSignature, setOwningTemplateParameter, setPackage, setTemplateParameter, setUnspecializedElement, specializeIn, specializeIn, validateUniqueInvariantName

Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.NamedElementImpl

createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName

Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.ElementImpl

allOwnedElements, create, createExtension, createOwnedComment, getExtension, getOwnedComment, getValue

Methods inherited from class org.eclipse.ocl.examples.pivot.utilities.PivotObjectImpl

getETarget, getTarget, isAdapterForType, notifyChanged, setTarget, unsetTarget

Methods inherited from class org.eclipse.emf.ecore.impl.EObjectImpl

eAdapters, eBasicAdapters, eBasicProperties, eBasicSetContainer, eClass, eContainerFeatureID, eDeliver, eInternalContainer, eIsProxy, eProperties, eSetClass, eSetDeliver, eSetProxyURI

Methods inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

eAddVirtualValue, eAllContents, eBasicRemoveFromContainer, eBasicSetContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eContents, eCrossReferences, eDerivedOperationID, eDerivedStructuralFeatureID, eDirectResource, eDynamicBasicRemoveFromContainer, eDynamicClass, eDynamicFeature, eDynamicFeatureID, eDynamicGet, eDynamicGet, eDynamicGet, eDynamicInverseAdd, eDynamicInverseAdd, eDynamicInverseRemove, eDynamicInverseRemove, eDynamicInvoke, eDynamicInvoke, eDynamicIsSet, eDynamicIsSet, eDynamicIsSet, eDynamicSet, eDynamicSet, eDynamicSet, eDynamicUnset, eDynamicUnset, eDynamicUnset, eGet, eGet, eGet, eHasSettings, eInternalResource, eInverseAdd, eInverseRemove, eInvocationDelegate, eInvoke, eIsSet, eObjectForURIFragmentSegment, eOpenGet, eOpenIsSet, eOpenSet, eOpenUnset, eProxyURI, eRemoveVirtualValue, eResolveProxy, eResource, eSet, eSetDirectResource, eSetResource, eSetStore, eSetting, eSettingDelegate, eSettings, eSetVirtualIndexBits, eSetVirtualValue, eSetVirtualValues, eStaticFeatureCount, eStaticOperationCount, eStore, eUnset, eURIFragmentSegment, eVirtualBitCount, eVirtualGet, eVirtualGet, eVirtualIndex, eVirtualIndexBits, eVirtualIsSet, eVirtualSet, eVirtualUnset, eVirtualValue, eVirtualValues

Methods inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

eBasicAdapterArray, eBasicHasAdapters, eNotificationRequired, eNotify

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.examples.pivot.DataType

getBehavioralType, isSerializable, setBehavioralType, setIsSerializable

Methods inherited from interface org.eclipse.ocl.examples.pivot.Class

createOwnedBehavior, createOwnedBehavior, getOwnedBehavior, isAbstract, isInterface, setIsAbstract, setIsInterface

Methods inherited from interface org.eclipse.ocl.examples.pivot.Type

createOwnedAttribute, createOwnedInvariant, createOwnedOperation, createOwnedOperation, getInstanceClassName, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getSuperClass, setInstanceClassName, setPackage, specializeIn, validateUniqueInvariantName

Methods inherited from interface org.eclipse.ocl.examples.pivot.TemplateableElement

createOwnedTemplateSignature, createTemplateBinding, getOwnedTemplateSignature, getTemplateBinding, getUnspecializedElement, isTemplate, parameterableElements, setOwnedTemplateSignature, setUnspecializedElement

Methods inherited from interface org.eclipse.ocl.examples.pivot.ParameterableElement

getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainType

createInstance, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getTypeId, getTypeParameters, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, lookupImplementation, specializeIn

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainNamespace

getOwnedRule

Methods inherited from interface org.eclipse.ocl.examples.domain.values.OCLValue

oclEquals, oclHashCode

Methods inherited from interface org.eclipse.ocl.examples.pivot.Namespace

createOwnedRule, getOwnedRule

Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement

createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName

Methods inherited from interface org.eclipse.ocl.examples.pivot.Element

allOwnedElements, createExtension, createOwnedComment, getETarget, getExtension, getOwnedComment, getValue

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Methods inherited from interface org.eclipse.ocl.examples.pivot.util.Visitable

eClass

Methods inherited from interface org.eclipse.emf.ecore.InternalEObject

eNotificationRequired

Field Detail

contextType

protected Type contextType

The cached value of the 'Context Type' reference.

See Also:

getContextType()

Generated

Ordered

parameterType

protected org.eclipse.emf.common.util.EList<Type> parameterType

The cached value of the 'Parameter Type' reference list.

See Also:

getParameterType()

Generated

Ordered

resultType

protected Type resultType

The cached value of the 'Result Type' reference.

See Also:

getResultType()

Generated

Ordered

Constructor Detail

LambdaTypeImpl

protected LambdaTypeImpl()

Generated

Method Detail

eStaticClass

protected org.eclipse.emf.ecore.EClass eStaticClass()

Overrides:

eStaticClass in class DataTypeImpl

Generated

getContextType

public Type getContextType()

Specified by:

getContextType in interface DomainLambdaType

Specified by:

getContextType in interface LambdaType

Returns:

the value of the 'Context Type' reference.

See Also:

LambdaType.setContextType(Type), PivotPackage.getLambdaType_ContextType()

Generated

basicGetContextType

public Type basicGetContextType()

Generated

setContextType

public void setContextType(Type newContextType)

Specified by:

setContextType in interface LambdaType

Parameters:

newContextType - the new value of the 'Context Type' reference.

See Also:

LambdaType.getContextType()

Generated

getParameterType

@NonNull
public java.util.List<Type> getParameterType()

Specified by:

getParameterType in interface LambdaType

Returns:

the value of the 'Parameter Type' reference list.

See Also:

PivotPackage.getLambdaType_ParameterType()

Generated

getResultType

public Type getResultType()

Specified by:

getResultType in interface DomainLambdaType

Specified by:

getResultType in interface LambdaType

Returns:

the value of the 'Result Type' reference.

See Also:

LambdaType.setResultType(Type), PivotPackage.getLambdaType_ResultType()

Generated

basicGetResultType

public Type basicGetResultType()

Generated

setResultType

public void setResultType(Type newResultType)

Specified by:

setResultType in interface LambdaType

Parameters:

newResultType - the new value of the 'Result Type' reference.

See Also:

LambdaType.getResultType()

Generated

eGet

public java.lang.Object eGet(int featureID,
                    boolean resolve,
                    boolean coreType)

Specified by:

eGet in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eGet in class DataTypeImpl

Generated

eSet

public void eSet(int featureID,
        java.lang.Object newValue)

Specified by:

eSet in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eSet in class DataTypeImpl

Generated

eUnset

public void eUnset(int featureID)

Specified by:

eUnset in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eUnset in class DataTypeImpl

Generated

eIsSet

public boolean eIsSet(int featureID)

Specified by:

eIsSet in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eIsSet in class DataTypeImpl

Generated

accept

public <R> R accept(@NonNull
           Visitor<R> visitor)

Description copied from interface: Visitable

Returns the result of accepting a visit from a visitor. Implementations typically invoke a derived-class-specific variant of visitXXX() to facilitate derived-class-specific processing or just visit() when no such method is available.

Implementations of visit() may use the EcoreSwitch to perform derived-class-specific processing.

Derived implementations of accept() may use getAdapter() to obtain richer visitor interfaces.

Specified by:

accept in interface Visitable

Overrides:

accept in class DataTypeImpl

Returns:

the result of the visit.

computeId

@NonNull
public TypeId computeId()

Overrides:

computeId in class DataTypeImpl

conformsTo

public boolean conformsTo(@NonNull
                 DomainStandardLibrary standardLibrary,
                 @NonNull
                 DomainType type)

Description copied from interface: DomainType

Return true if this type conform to thatType within standardLibrary.

Specified by:

conformsTo in interface DomainType

Overrides:

conformsTo in class TypeImpl

getParametersId

@NonNull
public ParametersId getParametersId()

Specified by:

getParametersId in interface DomainLambdaType

getParameterTypes

@NonNull
public java.util.List<? extends DomainType> getParameterTypes()

Specified by:

getParameterTypes in interface DomainLambdaType