org.eclipse.ocl.pivot.internal

Class TemplateParameterImpl

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.TemplateParameterImpl

All Implemented Interfaces:

Element, NamedElement, TemplateParameter, Type, Visitable, Labelable, Nameable, PivotObject, OCLValue

public class TemplateParameterImpl
extends TypeImpl
implements TemplateParameter

An implementation of the model object 'Template Parameter'.

The following features are implemented:

• Constraining Classes
• Owning Signature

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.
NotificationChain	basicSetOwningSignature(TemplateSignature newOwningSignature, NotificationChain msgs)
boolean	conformsTo(StandardLibrary standardLibrary, Type type) Return true if this type conform to thatType within standardLibrary.
NotificationChain	eBasicRemoveFromContainerFeature(NotificationChain msgs)
Object	eGet(int featureID, boolean resolve, boolean coreType)
NotificationChain	eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs)
NotificationChain	eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
boolean	eIsSet(int featureID)
void	eSet(int featureID, Object newValue)
void	eUnset(int featureID)
List<Class>	getConstrainingClasses()
CompleteInheritance	getInheritance(StandardLibrary standardLibrary) Return the inheritance description for this type within standardLibrary.
Class	getNormalizedType(StandardLibrary standardLibrary) Return the unique executable form of this type within standardLibrary.
TemplateSignature	getOwningSignature()
TemplateParameterId	getTemplateParameterId()
TemplateParameterId	getTypeId() Return a unique StandardLibrary-independent identifier for this type.
Class	isClass()
TemplateParameter	isTemplateParameter()
void	setOwningSignature(TemplateSignature newOwningSignature)
Type	specializeIn(CallExp expr, Type selfType)

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

createInstance, createInstance, eInvoke, flattenedType, getCommonType, getPackage, getTypeParameters, isEqualTo, isEqualToUnspecializedType, oclEquals, oclHashCode, toString

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

getName, setName

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.Type

flattenedType, getCommonType, isEqualTo, isEqualToUnspecializedType

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.values.OCLValue

oclEquals, oclHashCode

Method Detail

getConstrainingClasses

public List<Class> getConstrainingClasses()

Specified by:

getConstrainingClasses in interface TemplateParameter

Returns:

the value of the 'Constraining Classes' reference list.

See Also:

PivotPackage.getTemplateParameter_ConstrainingClasses()

EMF generated code

getOwningSignature

public TemplateSignature getOwningSignature()

Specified by:

getOwningSignature in interface TemplateParameter

Returns:

the value of the 'Owning Signature' container reference.

See Also:

TemplateParameter.setOwningSignature(TemplateSignature), PivotPackage.getTemplateParameter_OwningSignature(), TemplateSignature.getOwnedParameters()

EMF generated code

basicSetOwningSignature

public NotificationChain basicSetOwningSignature(TemplateSignature newOwningSignature,
                                                 NotificationChain msgs)

EMF generated code

setOwningSignature

public void setOwningSignature(TemplateSignature newOwningSignature)

Specified by:

setOwningSignature in interface TemplateParameter

Parameters:

newOwningSignature - the new value of the 'Owning Signature' container reference.

See Also:

TemplateParameter.getOwningSignature()

EMF generated code

eInverseAdd

public NotificationChain eInverseAdd(InternalEObject otherEnd,
                                     int featureID,
                                     NotificationChain msgs)

Overrides:

eInverseAdd in class ElementImpl

EMF generated code

eInverseRemove

public NotificationChain eInverseRemove(InternalEObject otherEnd,
                                        int featureID,
                                        NotificationChain msgs)

Overrides:

eInverseRemove in class ElementImpl

EMF generated code

eBasicRemoveFromContainerFeature

public NotificationChain eBasicRemoveFromContainerFeature(NotificationChain msgs)

EMF generated code

eGet

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

Overrides:

eGet in class NamedElementImpl

EMF generated code

eSet

public void eSet(int featureID,
                 Object newValue)

Overrides:

eSet in class NamedElementImpl

EMF generated code

eUnset

public void eUnset(int featureID)

Overrides:

eUnset in class NamedElementImpl

EMF generated code

eIsSet

public boolean eIsSet(int featureID)

Overrides:

eIsSet in class NamedElementImpl

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 TypeImpl

Returns:

the result of the visit.

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

getInheritance

public CompleteInheritance getInheritance(StandardLibrary standardLibrary)

Description copied from interface: Type

Return the inheritance description for this type within standardLibrary.

Specified by:

getInheritance in interface Type

getNormalizedType

public Class getNormalizedType(StandardLibrary standardLibrary)

Description copied from interface: Type

Return the unique executable form of this type within standardLibrary.

Specified by:

getNormalizedType in interface Type

getTemplateParameterId

public TemplateParameterId getTemplateParameterId()

Specified by:

getTemplateParameterId in interface TemplateParameter

getTypeId

public TemplateParameterId getTypeId()

Description copied from interface: Type

Return a unique StandardLibrary-independent identifier for this type.

Specified by:

getTypeId in interface Type

isClass

public Class isClass()

Description copied from class: TypeImpl

Specified by:

isClass in interface Type

Overrides:

isClass in class TypeImpl

isTemplateParameter

public TemplateParameter isTemplateParameter()

Description copied from class: TypeImpl

Specified by:

isTemplateParameter in interface Type

Overrides:

isTemplateParameter in class TypeImpl

specializeIn

public Type specializeIn(CallExp expr,
                         Type selfType)

Description copied from class: TypeImpl

Specified by:

specializeIn in interface Type

Overrides:

specializeIn in class TypeImpl