org.eclipse.ocl.pivot.internal.complete

Class CompleteInheritanceImpl

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.complete.CompleteInheritanceImpl

All Implemented Interfaces:

Class, CompleteInheritance, Element, NamedElement, Namespace, TemplateableElement, Type, Visitable, Nameable, OCLValue

public class CompleteInheritanceImpl
extends ReflectiveInheritance
implements CompleteInheritance

An AbstractTypeServer provides the co-ordinated operation, property and superclass lookup caches for one or more merged types.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	CompleteInheritanceImpl.BestOperation

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

AbstractInheritance.FragmentIterable

Field Summary

Fields

Modifier and Type	Field and Description
static CompleteInheritanceImpl.BestOperation	bestOperation
static List<CompleteInheritanceImpl>	EMPTY_LIST

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
CompleteInheritanceImpl(CompleteClassInternal completeClass)

Method Summary

Modifier and Type	Method and Description
static TemplateParameterSubstitution	createTemplateParameterSubstitution(TemplateParameter formalParameter, Type type)
CompleteClassInternal	getCompleteClass()
Iterable<? extends CompleteInheritance>	getInitialSuperInheritances() Return the immediate superinheritances without reference to the fragments.
List<? extends Operation>	getLocalOperations()
List<? extends Property>	getLocalProperties()
Operation	getMemberOperation(OperationId operationId)
Property	getMemberProperty(String propertyName)
String	getMetaTypeName() Return the name of the meta-type of this type.
List<Operation>	getOwnedOperations() Returns the value of the 'Owned Operations' containment reference list.
List<Property>	getOwnedProperties() Returns the value of the 'Owned Properties' containment reference list.
Class	getPivotClass()
List<Class>	getSuperClasses() Returns the value of the 'Super Classes' reference list.
TypeId	getTypeId() Return a unique StandardLibrary-independent identifier for this type.
TemplateParameters	getTypeParameters() Return the ordered list of type parameters of this type.
String	toString()
void	uninstall()

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

addSubInheritance, createInstance, createInstance, gatherUninstalledInheritances, getAllProperSuperFragments, getAllSuperFragments, getDepth, getFragment, getFragments, getIndex, getIndexes, getSelfFragment, getSuperFragments, install, isInstallable, isInstalled, removeSubInheritance

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

getBehavioralClass, getExtenders, getInheritance, getInstanceClassName, getOwnedBehaviors, getOwnedBindings, getOwnedConstraints, getOwnedInvariants, getOwnedSignature, getOwningPackage, getUnspecializedElement, isIsAbstract, isIsActive, isIsInterface, isIsSerializable, isOrdered, isUnique, setBehavioralClass, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setIsSerializable, setOwnedSignature, setOwningPackage, setUnspecializedElement, validateNameIsNotNull, validateUniqueInvariantName

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

conformsTo, flattenedType, getCommonType, getNormalizedType, isClass, isEqualTo, isEqualToUnspecializedType, isTemplateParameter, oclEquals, oclHashCode, 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

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

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

getAllProperSuperFragments, getAllSuperFragments, getCommonInheritance, getDepth, getFragment, getFragment, getFragments, getIndex, getIndexes, getSelfFragment, getSuperFragments, getType, isOclAny, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, lookupActualOperation, lookupImplementation, lookupLocalOperation

Methods inherited from interface org.eclipse.ocl.pivot.utilities.Nameable

getName

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

lookupActualOperation, lookupImplementation

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

conformsTo, flattenedType, getCommonType, getNormalizedType, isClass, isEqualTo, isEqualToUnspecializedType, isTemplateParameter, specializeIn

Methods inherited from interface org.eclipse.ocl.pivot.values.OCLValue

oclEquals, oclHashCode

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

Field Detail

EMPTY_LIST

public static final List<CompleteInheritanceImpl> EMPTY_LIST

bestOperation

public static final CompleteInheritanceImpl.BestOperation bestOperation

Constructor Detail

CompleteInheritanceImpl

public CompleteInheritanceImpl(CompleteClassInternal completeClass)

Method Detail

createTemplateParameterSubstitution

public static TemplateParameterSubstitution createTemplateParameterSubstitution(TemplateParameter formalParameter,
                                                                                Type type)

getCompleteClass

public CompleteClassInternal getCompleteClass()

getInitialSuperInheritances

public Iterable<? extends CompleteInheritance> getInitialSuperInheritances()

Description copied from class: ReflectiveInheritance

Return the immediate superinheritances without reference to the fragments.

getLocalOperations

public List<? extends Operation> getLocalOperations()

getLocalProperties

public List<? extends Property> getLocalProperties()

getMemberOperation

public Operation getMemberOperation(OperationId operationId)

Specified by:

getMemberOperation in interface CompleteInheritance

Overrides:

getMemberOperation in class AbstractExecutorType

getMemberProperty

public Property getMemberProperty(String propertyName)

Specified by:

getMemberProperty in interface CompleteInheritance

Overrides:

getMemberProperty in class AbstractExecutorType

getMetaTypeName

public String getMetaTypeName()

Description copied from interface: Class

Return the name of the meta-type of this type.

Specified by:

getMetaTypeName in interface Class

Overrides:

getMetaTypeName in class AbstractExecutorClass

getOwnedProperties

public List<Property> getOwnedProperties()

Description copied from interface: Class

Returns the value of the 'Owned Properties' containment reference list. The list contents are of type Property. It is bidirectional and its opposite is 'Owning Class'. The Properties owned by the StructuredClassifier. The attributes (i.e., the Properties) owned by the Class.

Specified by:

getOwnedProperties in interface Class

Overrides:

getOwnedProperties in class AbstractExecutorClass

Returns:

the value of the 'Owned Properties' containment reference list.

See Also:

PivotPackage.getClass_OwnedProperties(), Property.getOwningClass()

getOwnedOperations

public List<Operation> getOwnedOperations()

Description copied from interface: Class

Returns the value of the 'Owned Operations' containment reference list. The list contents are of type Operation. It is bidirectional and its opposite is 'Owning Class'. The Operations owned by the Class.

Specified by:

getOwnedOperations in interface Class

Overrides:

getOwnedOperations in class AbstractExecutorClass

Returns:

the value of the 'Owned Operations' containment reference list.

See Also:

PivotPackage.getClass_OwnedOperations(), Operation.getOwningClass()

getPivotClass

public Class getPivotClass()

Specified by:

getPivotClass in interface CompleteInheritance

Overrides:

getPivotClass in class AbstractExecutorType

getSuperClasses

public List<Class> getSuperClasses()

Description copied from interface: Class

Returns the value of the 'Super Classes' reference list. The list contents are of type Class.

Specified by:

getSuperClasses in interface Class

Overrides:

getSuperClasses in class AbstractExecutorClass

Returns:

the value of the 'Super Classes' reference list.

See Also:

PivotPackage.getClass_SuperClasses()

getTypeId

public final TypeId getTypeId()

Description copied from interface: Type

Return a unique StandardLibrary-independent identifier for this type.

Specified by:

getTypeId in interface Type

Overrides:

getTypeId in class AbstractExecutorType

getTypeParameters

public TemplateParameters getTypeParameters()

Description copied from interface: Class

Return the ordered list of type parameters of this type.

Specified by:

getTypeParameters in interface Class

Overrides:

getTypeParameters in class AbstractExecutorClass

toString

public String toString()

Overrides:

toString in class Object

uninstall

public void uninstall()

Overrides:

uninstall in class ReflectiveInheritance