public class AbstractExecutorType extends AbstractInheritance implements Type
AbstractInheritance.FragmentIterable
ABSTRACT, OCL_ANY, OCL_INVALID, OCL_VOID, ORDERED, UNIQUE
EMPTY_ARRAY
Constructor and Description |
---|
AbstractExecutorType(String name,
int flags) |
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) |
getCommonInheritance, getFragment, getType, initStatics, isInvalid, isOclAny, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, lookupActualOperation, lookupImplementation, lookupLocalOperation
getName, setName
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
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getName, setName
accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue
public AbstractExecutorType(String name, int flags)
public boolean conformsTo(StandardLibrary standardLibrary, Type thatType)
Type
conformsTo
in interface Type
public Type flattenedType()
Type
flattenedType
in interface Type
public Iterable<InheritanceFragment> getAllProperSuperFragments()
CompleteInheritance
getAllProperSuperFragments
in interface CompleteInheritance
public Iterable<InheritanceFragment> getAllSuperFragments()
CompleteInheritance
getAllSuperFragments
in interface CompleteInheritance
public Type getCommonType(IdResolver idResolver, Type thatType)
Type
getCommonType
in interface Type
public int getDepth()
CompleteInheritance
getDepth
in interface CompleteInheritance
public Iterable<InheritanceFragment> getFragments()
getFragments
in interface CompleteInheritance
public InheritanceFragment getFragment(int fragmentNumber)
getFragment
in interface CompleteInheritance
public int getIndex(int fragmentNumber)
getIndex
in interface CompleteInheritance
public int getIndexes()
getIndexes
in interface CompleteInheritance
public CompleteInheritance getInheritance(StandardLibrary standardLibrary)
Type
getInheritance
in interface Type
public Operation getMemberOperation(OperationId id)
getMemberOperation
in interface CompleteInheritance
public Property getMemberProperty(String name)
getMemberProperty
in interface CompleteInheritance
public Class getNormalizedType(StandardLibrary standardLibrary)
Type
getNormalizedType
in interface Type
public Class getPivotClass()
getPivotClass
in interface CompleteInheritance
public InheritanceFragment getSelfFragment()
getSelfFragment
in interface CompleteInheritance
public IndexableIterable<InheritanceFragment> getSuperFragments(int depth)
CompleteInheritance
getSuperFragments
in interface CompleteInheritance
public TypeId getTypeId()
Type
public boolean isEqualTo(StandardLibrary standardLibrary, Type thatType)
Type
public boolean isEqualToUnspecializedType(StandardLibrary standardLibrary, Type type)
isEqualToUnspecializedType
in interface Type
public TemplateParameter isTemplateParameter()
isTemplateParameter
in interface Type
public boolean oclEquals(OCLValue thatValue)
OCLValue
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.
public int oclHashCode()
oclHashCode
in interface OCLValue
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.