org.eclipse.ocl.pivot.internal.library.executor

Class AbstractReflectiveInheritanceType

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

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorClass

org.eclipse.ocl.pivot.internal.library.executor.ReflectiveInheritance

org.eclipse.ocl.pivot.internal.library.executor.AbstractReflectiveInheritanceType

All Implemented Interfaces:

org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, Class, CompleteInheritance, Element, NamedElement, Namespace, TemplateableElement, Type, Visitable, Nameable, OCLValue

Direct Known Subclasses:

DomainReflectiveType, EcoreReflectiveType

public abstract class AbstractReflectiveInheritanceType
extends ReflectiveInheritance
implements Class

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, flags, OCL_ANY, OCL_INVALID, OCL_VOID, ORDERED, UNIQUE

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

name

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

EMPTY_ARRAY

Constructor Summary

Constructors

Constructor and Description
AbstractReflectiveInheritanceType(java.lang.String name, int flags)

Method Summary

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()
boolean	validateNameIsNotNull(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

Methods inherited from class org.eclipse.ocl.pivot.internal.library.executor.ReflectiveInheritance

addSubInheritance, computeFlags, createFragment, createInstance, createInstance, gatherUninstalledInheritances, getAllProperSuperFragments, getAllSuperFragments, getDepth, getFragment, getFragments, getIndex, getIndexes, getInitialSuperInheritances, getSelfFragment, getSuperFragments, initialize, install, installOclAny, isInstallable, isInstalled, removeSubInheritance, uninstall

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

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

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

getCommonType, getMemberOperation, getMemberProperty, getPivotClass, getTypeId, specializeIn

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

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

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

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

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

getCommonType, getTypeId, specializeIn

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

getOwnedConstraints

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.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

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

eClass

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

getOwnedBindings, getOwnedSignature, getUnspecializedElement, setOwnedSignature, setUnspecializedElement

Constructor Detail

AbstractReflectiveInheritanceType

public AbstractReflectiveInheritanceType(@NonNull
                                         java.lang.String name,
                                         int flags)

Method Detail

conformsTo

public boolean conformsTo(@NonNull
                          StandardLibrary standardLibrary,
                          @NonNull
                          Type type)

Description copied from interface: Type

Return true if this type conform to thatType within standardLibrary.

Specified by:

conformsTo in interface Type

Overrides:

conformsTo in class AbstractExecutorType

flattenedType

public Class flattenedType()

Description copied from interface: Type

Specified by:

flattenedType in interface Type

Overrides:

flattenedType in class AbstractExecutorType

getInheritance

@NonNull
public CompleteInheritance getInheritance(@NonNull
                                                    StandardLibrary standardLibrary)

Description copied from interface: Type

Return the inheritance description for this type within standardLibrary.

Specified by:

getInheritance in interface Type

Overrides:

getInheritance in class AbstractExecutorClass

getNormalizedType

public Class getNormalizedType(@NonNull
                               StandardLibrary standardLibrary)

Description copied from interface: Type

Return the unique executable form of this type within standardLibrary.

Specified by:

getNormalizedType in interface Type

Overrides:

getNormalizedType in class AbstractExecutorType

isClass

public Class isClass()

Specified by:

isClass in interface Type

Overrides:

isClass in class AbstractExecutorType

isEqualTo

public boolean isEqualTo(@NonNull
                         StandardLibrary standardLibrary,
                         @NonNull
                         Type type)

Description copied from interface: Type

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

Specified by:

isEqualTo in interface Type

Overrides:

isEqualTo in class AbstractExecutorType

isEqualToUnspecializedType

public boolean isEqualToUnspecializedType(@NonNull
                                          StandardLibrary standardLibrary,
                                          @NonNull
                                          Type type)

Specified by:

isEqualToUnspecializedType in interface Type

Overrides:

isEqualToUnspecializedType in class AbstractExecutorType

isTemplateParameter

@Nullable
public TemplateParameter isTemplateParameter()

Specified by:

isTemplateParameter in interface Type

Overrides:

isTemplateParameter in class AbstractExecutorType

oclEquals

public boolean oclEquals(@NonNull
                         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

Overrides:

oclEquals in class AbstractExecutorType

oclHashCode

public int oclHashCode()

Specified by:

oclHashCode in interface OCLValue

Overrides:

oclHashCode in class AbstractExecutorType

validateNameIsNotNull

public boolean validateNameIsNotNull(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                     java.util.Map<java.lang.Object,java.lang.Object> context)

Description copied from interface: Class

Specified by:

validateNameIsNotNull in interface Class

Overrides:

validateNameIsNotNull in class AbstractExecutorClass