public abstract class AbstractReflectiveInheritanceType extends ReflectiveInheritance implements Class
AbstractInheritance.FragmentIterable
ABSTRACT, flags, OCL_ANY, OCL_INVALID, OCL_VOID, ORDERED, UNIQUE
name
EMPTY_ARRAY
Constructor and Description |
---|
AbstractReflectiveInheritanceType(java.lang.String name,
int flags) |
Modifier and Type | Method and Description |
---|---|
boolean |
conformsTo(StandardLibrary standardLibrary,
Type type)
Return true if this type conform to thatType within standardLibrary.
|
Class |
flattenedType() |
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.
|
Class |
isClass() |
boolean |
isEqualTo(StandardLibrary standardLibrary,
Type type)
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() |
addSubInheritance, computeFlags, createFragment, createInstance, createInstance, gatherUninstalledInheritances, getAllProperSuperFragments, getAllSuperFragments, getDepth, getFragment, getFragments, getIndex, getIndexes, getInitialSuperInheritances, getSelfFragment, getSuperFragments, initialize, install, installOclAny, isInstallable, isInstalled, removeSubInheritance, uninstall
getBehavioralClass, getExtenders, getInstanceClassName, getMetaTypeName, getOwnedBehaviors, getOwnedBindings, getOwnedConstraints, getOwnedInvariants, getOwnedOperations, getOwnedProperties, getOwnedSignature, getOwningPackage, getSuperClasses, getTypeParameters, getUnspecializedElement, isIsAbstract, isIsActive, isIsInterface, isIsSerializable, isOrdered, isUnique, setBehavioralClass, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setIsSerializable, setOwnedSignature, setOwningPackage, setUnspecializedElement, validateUniqueInvariantName
getCommonType, getMemberOperation, getMemberProperty, getPivotClass, getTypeId, specializeIn
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
createInstance, createInstance, getExtenders, getInstanceClassName, getMetaTypeName, getOwnedBehaviors, getOwnedInvariants, getOwnedOperations, getOwnedProperties, getOwningPackage, getSuperClasses, getTypeParameters, isIsAbstract, isIsActive, isIsInterface, isOrdered, isUnique, lookupActualOperation, lookupImplementation, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setOwningPackage, validateUniqueInvariantName
getCommonType, getTypeId, specializeIn
getOwnedConstraints
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
eAdapters, eDeliver, eNotify, eSetDeliver
getOwnedBindings, getOwnedSignature, getUnspecializedElement, setOwnedSignature, setUnspecializedElement
public AbstractReflectiveInheritanceType(@NonNull java.lang.String name, int flags)
public boolean conformsTo(@NonNull StandardLibrary standardLibrary, @NonNull Type type)
Type
conformsTo
in interface Type
conformsTo
in class AbstractExecutorType
public Class flattenedType()
Type
flattenedType
in interface Type
flattenedType
in class AbstractExecutorType
@NonNull public CompleteInheritance getInheritance(@NonNull StandardLibrary standardLibrary)
Type
getInheritance
in interface Type
getInheritance
in class AbstractExecutorClass
public Class getNormalizedType(@NonNull StandardLibrary standardLibrary)
Type
getNormalizedType
in interface Type
getNormalizedType
in class AbstractExecutorType
public Class isClass()
isClass
in interface Type
isClass
in class AbstractExecutorType
public boolean isEqualTo(@NonNull StandardLibrary standardLibrary, @NonNull Type type)
Type
isEqualTo
in interface Type
isEqualTo
in class AbstractExecutorType
public boolean isEqualToUnspecializedType(@NonNull StandardLibrary standardLibrary, @NonNull Type type)
isEqualToUnspecializedType
in interface Type
isEqualToUnspecializedType
in class AbstractExecutorType
@Nullable public TemplateParameter isTemplateParameter()
isTemplateParameter
in interface Type
isTemplateParameter
in class AbstractExecutorType
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.
oclEquals
in interface OCLValue
oclEquals
in class AbstractExecutorType
public int oclHashCode()
oclHashCode
in interface OCLValue
oclHashCode
in class AbstractExecutorType