org.eclipse.ocl.pivot.internal

Class LambdaTypeImpl

java.lang.Object

EObjectImpl

org.eclipse.ocl.pivot.internal.utilities.PivotObjectImpl

org.eclipse.ocl.pivot.internal.ElementImpl

org.eclipse.ocl.pivot.internal.NamedElementImpl

org.eclipse.ocl.pivot.internal.TypeImpl

org.eclipse.ocl.pivot.internal.ClassImpl

org.eclipse.ocl.pivot.internal.DataTypeImpl

org.eclipse.ocl.pivot.internal.LambdaTypeImpl

All Implemented Interfaces:

Class, DataType, Element, LambdaType, NamedElement, Namespace, TemplateableElement, Type, Visitable, Labelable, Nameable, PivotObject, OCLValue

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

EMF generated code

Method Summary

Modifier and Type	Method and Description
<R> R	accept(Visitor<R> visitor) Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.
Type	basicGetContextType()
Type	basicGetResultType()
TypeId	computeId()
boolean	conformsTo(StandardLibrary standardLibrary, Type type) Return true if this type conform to thatType within standardLibrary.
Object	eGet(int featureID, boolean resolve, boolean coreType)
boolean	eIsSet(int featureID)
void	eSet(int featureID, Object newValue)
void	eUnset(int featureID)
Type	getContextType()
ParametersId	getParametersId()
List<Type>	getParameterType()
List<? extends Type>	getParameterTypes()
Type	getResultType()
void	setContextType(Type newContextType)
void	setResultType(Type newResultType)

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

basicGetBehavioralClass, getBehavioralClass, getInheritance, getValue, isIsSerializable, setBehavioralClass, setIsSerializable, toString

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

addClassListener, basicSetOwnedSignature, basicSetOwningPackage, eBaseStructuralFeatureID, eBasicRemoveFromContainerFeature, eDerivedStructuralFeatureID, eInverseAdd, eInverseRemove, eInvoke, getCommonType, getExtenders, getInstanceClassName, getMetaTypeName, getNormalizedType, getOwnedBehaviors, getOwnedBindings, getOwnedConstraints, getOwnedInvariants, getOwnedOperations, getOwnedProperties, getOwnedSignature, getOwningPackage, getSuperClasses, getTypeId, getTypeParameters, getUnspecializedElement, isClass, isIsAbstract, isIsActive, isIsInterface, isOrdered, isTemplateParameter, isUnique, lookupActualOperation, lookupImplementation, removeClassListener, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setName, setOwnedSignature, setOwningPackage, setUnspecializedElement, specializeIn, validateNameIsNotNull, validateUniqueInvariantName

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

createInstance, createInstance, flattenedType, getPackage, isEqualTo, isEqualToUnspecializedType, oclEquals, oclHashCode

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

getName

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

allOwnedElements, getAnnotatingComments, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

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

getESObject, getETarget, getImage, getTarget, getText, setESObject, setTarget, unloaded

Methods inherited from class java.lang.Object

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

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

getBehavioralClass, getValue, isIsSerializable, setBehavioralClass, setIsSerializable

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

createInstance, createInstance, getExtenders, getInstanceClassName, getMetaTypeName, getOwnedBehaviors, getOwnedInvariants, getOwnedOperations, getOwnedProperties, getOwningPackage, getSuperClasses, getTypeParameters, isIsAbstract, isIsActive, isIsInterface, isOrdered, isUnique, lookupActualOperation, lookupImplementation, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setOwningPackage, validateNameIsNotNull, validateUniqueInvariantName

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

flattenedType, getCommonType, getInheritance, getNormalizedType, getTypeId, isClass, isEqualTo, isEqualToUnspecializedType, isTemplateParameter, specializeIn

Methods inherited from interface org.eclipse.ocl.pivot.values.OCLValue

oclEquals, oclHashCode

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

getOwnedConstraints

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

getName, setName

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

allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

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

eClass

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

getOwnedBindings, getOwnedSignature, getUnspecializedElement, setOwnedSignature, setUnspecializedElement

Method Detail

getContextType

public Type getContextType()

Specified by:

getContextType in interface LambdaType

Returns:

the value of the 'Context Type' reference.

See Also:

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

EMF generated code

basicGetContextType

public Type basicGetContextType()

EMF generated code

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()

EMF generated code

getParameterType

public List<Type> getParameterType()

Specified by:

getParameterType in interface LambdaType

Returns:

the value of the 'Parameter Type' reference list.

See Also:

PivotPackage.getLambdaType_ParameterType()

EMF generated code

getResultType

public Type getResultType()

Specified by:

getResultType in interface LambdaType

Returns:

the value of the 'Result Type' reference.

See Also:

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

EMF generated code

basicGetResultType

public Type basicGetResultType()

EMF generated code

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()

EMF generated code

eGet

public Object eGet(int featureID,
                   boolean resolve,
                   boolean coreType)

Overrides:

eGet in class DataTypeImpl

EMF generated code

eSet

public void eSet(int featureID,
                 Object newValue)

Overrides:

eSet in class DataTypeImpl

EMF generated code

eUnset

public void eUnset(int featureID)

Overrides:

eUnset in class DataTypeImpl

EMF generated code

eIsSet

public boolean eIsSet(int featureID)

Overrides:

eIsSet in class DataTypeImpl

EMF generated code

accept

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

Description copied from interface: Element

Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.

Specified by:

accept in interface Element

Specified by:

accept in interface Visitable

Overrides:

accept in class DataTypeImpl

Returns:

the result of the visit.

computeId

public TypeId computeId()

Overrides:

computeId in class DataTypeImpl

conformsTo

public boolean conformsTo(StandardLibrary standardLibrary,
                          Type type)

Description copied from interface: Type

Return true if this type conform to thatType within standardLibrary.

Specified by:

conformsTo in interface Type

Overrides:

conformsTo in class ClassImpl

getParametersId

public ParametersId getParametersId()

Specified by:

getParametersId in interface LambdaType

getParameterTypes

public List<? extends Type> getParameterTypes()

Specified by:

getParameterTypes in interface LambdaType