public class AbstractExecutorType extends AbstractInheritance implements Type
AbstractInheritance.FragmentIterable
ABSTRACT, flags, OCL_ANY, OCL_INVALID, OCL_VOID, ORDERED, UNIQUE
name
EMPTY_ARRAY
Constructor and Description |
---|
AbstractExecutorType(java.lang.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() |
java.lang.Iterable<InheritanceFragment> |
getAllProperSuperFragments()
Return a depth ordered, OclAny-first, OclSelf-last, Iterable of all the super-adapters excluding this one.
|
java.lang.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) |
java.lang.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(java.lang.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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getName, setName
accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
public AbstractExecutorType(@NonNull java.lang.String name, int flags)
public boolean conformsTo(@NonNull StandardLibrary standardLibrary, @NonNull Type thatType)
Type
conformsTo
in interface Type
public Type flattenedType()
Type
flattenedType
in interface Type
@NonNull public java.lang.Iterable<InheritanceFragment> getAllProperSuperFragments()
CompleteInheritance
getAllProperSuperFragments
in interface CompleteInheritance
@NonNull public java.lang.Iterable<InheritanceFragment> getAllSuperFragments()
CompleteInheritance
getAllSuperFragments
in interface CompleteInheritance
@NonNull public Type getCommonType(@NonNull IdResolver idResolver, @NonNull Type thatType)
Type
getCommonType
in interface Type
public int getDepth()
CompleteInheritance
getDepth
in interface CompleteInheritance
@NonNull public java.lang.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
@NonNull public CompleteInheritance getInheritance(@NonNull StandardLibrary standardLibrary)
Type
getInheritance
in interface Type
@Nullable public Operation getMemberOperation(@NonNull OperationId id)
getMemberOperation
in interface CompleteInheritance
@Nullable public Property getMemberProperty(@NonNull java.lang.String name)
getMemberProperty
in interface CompleteInheritance
public Class getNormalizedType(@NonNull StandardLibrary standardLibrary)
Type
getNormalizedType
in interface Type
public Class getPivotClass()
getPivotClass
in interface CompleteInheritance
@NonNull public InheritanceFragment getSelfFragment()
getSelfFragment
in interface CompleteInheritance
@NonNull public IndexableIterable<InheritanceFragment> getSuperFragments(int depth)
CompleteInheritance
getSuperFragments
in interface CompleteInheritance
@NonNull public TypeId getTypeId()
Type
public boolean isEqualTo(@NonNull StandardLibrary standardLibrary, @NonNull Type thatType)
Type
public boolean isEqualToUnspecializedType(@NonNull StandardLibrary standardLibrary, @NonNull Type type)
isEqualToUnspecializedType
in interface Type
@Nullable public TemplateParameter isTemplateParameter()
isTemplateParameter
in interface Type
public boolean oclEquals(@NonNull 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