org.eclipse.ocl.pivot.internal.elements

Class AbstractExecutorType

java.lang.Object

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

org.eclipse.ocl.pivot.types.AbstractInheritance

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorType

All Implemented Interfaces:

CompleteInheritance, Element, NamedElement, Type, Visitable, Nameable, OCLValue

Direct Known Subclasses:

AbstractExecutorClass, ExecutorTypeParameter

public class AbstractExecutorType
extends AbstractInheritance
implements Type

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

AbstractInheritance.FragmentIterable

Field Summary

Fields inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

ABSTRACT, OCL_ANY, OCL_INVALID, OCL_VOID, ORDERED, UNIQUE

Fields inherited from interface org.eclipse.ocl.pivot.CompleteInheritance

EMPTY_ARRAY

Constructor Summary

Constructors

Constructor and Description
AbstractExecutorType(String name, int flags)

Method Summary

Modifier and Type	Method and Description
boolean	conformsTo(StandardLibrary standardLibrary, Type thatType) Return true if this type conform to thatType within standardLibrary.
Type	flattenedType()
Iterable<InheritanceFragment>	getAllProperSuperFragments() Return a depth ordered, OclAny-first, OclSelf-last, Iterable of all the super-adapters excluding this one.
Iterable<InheritanceFragment>	getAllSuperFragments() Return a depth ordered, OclAny-first, OclSelf-last, Iterable of all the super-adapters including this one.
Type	getCommonType(IdResolver idResolver, Type thatType) Return the most derived type common to this type and thatType within standardLibrary.
int	getDepth() Return the inheritance depth of the target type: OclAny is at depth 0.
InheritanceFragment	getFragment(int fragmentNumber)
Iterable<InheritanceFragment>	getFragments()
int	getIndex(int fragmentNumber)
int	getIndexes()
CompleteInheritance	getInheritance(StandardLibrary standardLibrary) Return the inheritance description for this type within standardLibrary.
Operation	getMemberOperation(OperationId id)
Property	getMemberProperty(String name)
Class	getNormalizedType(StandardLibrary standardLibrary) Return the unique executable form of this type within standardLibrary.
Class	getPivotClass()
InheritanceFragment	getSelfFragment()
IndexableIterable<InheritanceFragment>	getSuperFragments(int depth) Return an Iterable of all the super-inheritances at a specified depth, between 0 and getDepth() inclusive.
TypeId	getTypeId() Return a unique StandardLibrary-independent identifier for this type.
Class	isClass()
boolean	isEqualTo(StandardLibrary standardLibrary, Type thatType) Return true if this is the same type as thatType within standardLibrary.
boolean	isEqualToUnspecializedType(StandardLibrary standardLibrary, Type type)
TemplateParameter	isTemplateParameter()
boolean	oclEquals(OCLValue thatValue) Return true if this is an equivalent OCL value to thatValue.
int	oclHashCode()
Type	specializeIn(CallExp expr, Type selfType)

Methods inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

getCommonInheritance, getFragment, getType, initStatics, isInvalid, isOclAny, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, lookupActualOperation, lookupImplementation, lookupLocalOperation

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

getName, setName

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

accept, allOwnedElements, eAdapters, eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eDeliver, eGet, eGet, eInvoke, eIsProxy, eIsSet, eNotify, eResource, eSet, eSetDeliver, eUnset, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from class java.lang.Object

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

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

getName, setName

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

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

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

eClass

Constructor Detail

AbstractExecutorType

public AbstractExecutorType(String name,
                            int flags)

Method Detail

conformsTo

public boolean conformsTo(StandardLibrary standardLibrary,
                          Type thatType)

Description copied from interface: Type

Return true if this type conform to thatType within standardLibrary.

Specified by:

conformsTo in interface Type

flattenedType

public Type flattenedType()

Description copied from interface: Type

Specified by:

flattenedType in interface Type

getAllProperSuperFragments

public Iterable<InheritanceFragment> getAllProperSuperFragments()

Description copied from interface: CompleteInheritance

Return a depth ordered, OclAny-first, OclSelf-last, Iterable of all the super-adapters excluding this one.

Specified by:

getAllProperSuperFragments in interface CompleteInheritance

getAllSuperFragments

public Iterable<InheritanceFragment> getAllSuperFragments()

Description copied from interface: CompleteInheritance

Return a depth ordered, OclAny-first, OclSelf-last, Iterable of all the super-adapters including this one.

Specified by:

getAllSuperFragments in interface CompleteInheritance

getCommonType

public Type getCommonType(IdResolver idResolver,
                          Type thatType)

Description copied from interface: Type

Return the most derived type common to this type and thatType within standardLibrary.

Specified by:

getCommonType in interface Type

getDepth

public int getDepth()

Description copied from interface: CompleteInheritance

Return the inheritance depth of the target type: OclAny is at depth 0.

Specified by:

getDepth in interface CompleteInheritance

getFragments

public Iterable<InheritanceFragment> getFragments()

Specified by:

getFragments in interface CompleteInheritance

getFragment

public InheritanceFragment getFragment(int fragmentNumber)

Specified by:

getFragment in interface CompleteInheritance

getIndex

public int getIndex(int fragmentNumber)

Specified by:

getIndex in interface CompleteInheritance

getIndexes

public int getIndexes()

Specified by:

getIndexes in interface CompleteInheritance

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

getMemberOperation

public Operation getMemberOperation(OperationId id)

Specified by:

getMemberOperation in interface CompleteInheritance

getMemberProperty

public Property getMemberProperty(String name)

Specified by:

getMemberProperty in interface CompleteInheritance

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

getPivotClass

public Class getPivotClass()

Specified by:

getPivotClass in interface CompleteInheritance

getSelfFragment

public InheritanceFragment getSelfFragment()

Specified by:

getSelfFragment in interface CompleteInheritance

getSuperFragments

public IndexableIterable<InheritanceFragment> getSuperFragments(int depth)

Description copied from interface: CompleteInheritance

Return an Iterable of all the super-inheritances at a specified depth, between 0 and getDepth() inclusive.

Specified by:

getSuperFragments in interface CompleteInheritance

getTypeId

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

Specified by:

isClass in interface Type

isEqualTo

public boolean isEqualTo(StandardLibrary standardLibrary,
                         Type thatType)

Description copied from interface: Type

Return true if this is the same type as thatType within standardLibrary.

Specified by:

isEqualTo in interface Type

isEqualToUnspecializedType

public boolean isEqualToUnspecializedType(StandardLibrary standardLibrary,
                                          Type type)

Specified by:

isEqualToUnspecializedType in interface Type

isTemplateParameter

public TemplateParameter isTemplateParameter()

Specified by:

isTemplateParameter in interface Type

oclEquals

public boolean oclEquals(OCLValue thatValue)

Description copied from interface: OCLValue

Return true if this is an equivalent OCL value to thatValue.

Note that the caller must check that the argument is an OCLValue and should also check for the shortcut case that this == thatValue. Implementations are therefore wasting time if they re-implement the shortcut.

Specified by:

oclEquals in interface OCLValue

oclHashCode

public int oclHashCode()

Specified by:

oclHashCode in interface OCLValue

specializeIn

public Type specializeIn(CallExp expr,
                         Type selfType)

Description copied from interface: Type

Specified by:

specializeIn in interface Type