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

Class ReflectiveInheritance

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

All Implemented Interfaces:

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

Direct Known Subclasses:

AbstractReflectiveInheritanceType, CompleteInheritanceImpl

public abstract class ReflectiveInheritance
extends AbstractExecutorClass

A ReflectiveType defines a Type using a compact representation suitable for efficient execution. The representation is derived reflectively from a less efficient representation.

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, 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
ReflectiveInheritance(String name, int flags, ExecutorTypeParameter... typeParameters)

Method Summary

Modifier and Type	Method and Description
void	addSubInheritance(ReflectiveInheritance subInheritance)
EObject	createInstance() Return a new instance of this type from valueFactory.
Object	createInstance(String value) Return a new instance of this data type from valueFactory.
boolean	gatherUninstalledInheritances(List<ReflectiveInheritance> inheritances) Add this Inheritance and all un-installed super-Inheritances to inheritances, returning true if this inheritance was already installed.
AbstractInheritance.FragmentIterable	getAllProperSuperFragments() Return a depth ordered, OclAny-first, OclSelf-last, Iterable of all the super-adapters excluding this one.
AbstractInheritance.FragmentIterable	getAllSuperFragments() Return a depth ordered, OclAny-first, OclSelf-last, Iterable of all the super-adapters including this one.
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()
InheritanceFragment	getSelfFragment()
AbstractInheritance.FragmentIterable	getSuperFragments(int depth) Return an Iterable of all the super-inheritances at a specified depth, between 0 and getDepth() inclusive.
boolean	install() Install this Inheritance establishing its superClass tables and registering it to be notified of any changes.
boolean	isInstallable() Return true if this is installed or able to be installed.
boolean	isInstalled() Return true if this is installed.
void	removeSubInheritance(ReflectiveInheritance subInheritance)
void	uninstall()

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

getBehavioralClass, getExtenders, getInheritance, 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, validateNameIsNotNull, validateUniqueInvariantName

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

conformsTo, flattenedType, getCommonType, getMemberOperation, getMemberProperty, getNormalizedType, getPivotClass, getTypeId, 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, toString, wait, wait, wait

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

lookupActualOperation, lookupImplementation

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

conformsTo, flattenedType, getCommonType, getNormalizedType, getTypeId, 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

Constructor Detail

ReflectiveInheritance

public ReflectiveInheritance(String name,
                             int flags,
                             ExecutorTypeParameter... typeParameters)

Method Detail

addSubInheritance

public void addSubInheritance(ReflectiveInheritance subInheritance)

createInstance

public EObject createInstance()

Description copied from interface: Class

Return a new instance of this type from valueFactory. Properties may be initialised using Property.initValue(Object, Object) provided no side-effect free OCL functionality is permitted to use the ObjectValue until initialisation has completed.

Specified by:

createInstance in interface Class

Overrides:

createInstance in class AbstractExecutorClass

createInstance

public Object createInstance(String value)

Description copied from interface: Class

Return a new instance of this data type from valueFactory.

Specified by:

createInstance in interface Class

Overrides:

createInstance in class AbstractExecutorClass

Parameters:

value - string initial value

gatherUninstalledInheritances

public boolean gatherUninstalledInheritances(List<ReflectiveInheritance> inheritances)

Add this Inheritance and all un-installed super-Inheritances to inheritances, returning true if this inheritance was already installed.

getAllProperSuperFragments

public final AbstractInheritance.FragmentIterable getAllProperSuperFragments()

Description copied from interface: CompleteInheritance

Return a depth ordered, OclAny-first, OclSelf-last, Iterable of all the super-adapters excluding this one.

Specified by:

getAllProperSuperFragments in interface CompleteInheritance

Overrides:

getAllProperSuperFragments in class AbstractExecutorType

getAllSuperFragments

public final AbstractInheritance.FragmentIterable getAllSuperFragments()

Description copied from interface: CompleteInheritance

Return a depth ordered, OclAny-first, OclSelf-last, Iterable of all the super-adapters including this one.

Specified by:

getAllSuperFragments in interface CompleteInheritance

Overrides:

getAllSuperFragments in class AbstractExecutorType

getDepth

public final int getDepth()

Description copied from interface: CompleteInheritance

Return the inheritance depth of the target type: OclAny is at depth 0.

Specified by:

getDepth in interface CompleteInheritance

Overrides:

getDepth in class AbstractExecutorType

getFragment

public InheritanceFragment getFragment(int fragmentNumber)

Specified by:

getFragment in interface CompleteInheritance

Overrides:

getFragment in class AbstractExecutorType

getFragments

public Iterable<InheritanceFragment> getFragments()

Specified by:

getFragments in interface CompleteInheritance

Overrides:

getFragments in class AbstractExecutorType

getIndex

public int getIndex(int fragmentNumber)

Specified by:

getIndex in interface CompleteInheritance

Overrides:

getIndex in class AbstractExecutorType

getIndexes

public int getIndexes()

Specified by:

getIndexes in interface CompleteInheritance

Overrides:

getIndexes in class AbstractExecutorType

getSelfFragment

public InheritanceFragment getSelfFragment()

Specified by:

getSelfFragment in interface CompleteInheritance

Overrides:

getSelfFragment in class AbstractExecutorType

getSuperFragments

public final AbstractInheritance.FragmentIterable getSuperFragments(int depth)

Description copied from interface: CompleteInheritance

Return an Iterable of all the super-inheritances at a specified depth, between 0 and getDepth() inclusive.

Specified by:

getSuperFragments in interface CompleteInheritance

Overrides:

getSuperFragments in class AbstractExecutorType

install

public boolean install()

Install this Inheritance establishing its superClass tables and registering it to be notified of any changes.

Returns:

true if installed, false if some superClass uninstallable

isInstallable

public boolean isInstallable()

Return true if this is installed or able to be installed. Returns false if some superclass must be installed first.

isInstalled

public boolean isInstalled()

Return true if this is installed.

removeSubInheritance

public void removeSubInheritance(ReflectiveInheritance subInheritance)

uninstall

public void uninstall()