org.eclipse.ocl.pivot

Interface CompleteInheritance

All Superinterfaces:

Nameable

All Known Implementing Classes:

AbstractExecutorClass, AbstractExecutorType, AbstractInheritance, AbstractReflectiveInheritanceType, AbstractSpecializedType, CompleteInheritanceImpl, DomainReflectiveType, EcoreExecutorEnumeration, EcoreExecutorInvalidType, EcoreExecutorType, EcoreExecutorVoidType, EcoreReflectiveEnumeration, EcoreReflectiveType, ExecutorCollectionType, ExecutorLambdaType, ExecutorMapType, ExecutorSpecializedType, ExecutorTupleType, ExecutorTupleType, ExecutorType, ExecutorTypeParameter, JavaType, ReflectiveInheritance

public interface CompleteInheritance
extends Nameable

An Inheritance provides access to the transitive inheritance relationships of a class with respect to a particular type regime, noting that the complexities of CompleteOCL allow for different inheritance for different applications. The allSuperInheritances relationship is computed lazily and invalidated whenever a superclass changes. KnownSubInheritances are also notified of invalidation avoiding the need for an adapting Inheritance to adapt more than its own target class.

Field Summary

Fields

Modifier and Type	Field and Description
static CompleteInheritance[]	EMPTY_ARRAY

Method Summary

Modifier and Type	Method and Description
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.
CompleteInheritance	getCommonInheritance(CompleteInheritance inheritance)
int	getDepth() Return the inheritance depth of the target type: OclAny is at depth 0.
InheritanceFragment	getFragment(CompleteInheritance thatInheritance)
InheritanceFragment	getFragment(int fragmentNumber)
java.lang.Iterable<InheritanceFragment>	getFragments()
int	getIndex(int fragmentNumber)
int	getIndexes()
Operation	getMemberOperation(OperationId id)
Property	getMemberProperty(java.lang.String name)
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.
Class	getType() Deprecated.
boolean	isOclAny()
boolean	isSubInheritanceOf(CompleteInheritance inheritance)
boolean	isSuperInheritanceOf(CompleteInheritance inheritance)
boolean	isUndefined()
Operation	lookupActualOperation(StandardLibrary standardLibrary, Operation apparentOperation)
LibraryFeature	lookupImplementation(StandardLibrary standardLibrary, Operation apparentOperation) Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.
Operation	lookupLocalOperation(StandardLibrary standardLibrary, java.lang.String operationName, CompleteInheritance... argumentTypes)

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

getName

Field Detail

EMPTY_ARRAY

@NonNull
static final CompleteInheritance[] EMPTY_ARRAY

Method Detail

getAllProperSuperFragments

@NonNull
java.lang.Iterable<InheritanceFragment> getAllProperSuperFragments()

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

getAllSuperFragments

@NonNull
java.lang.Iterable<InheritanceFragment> getAllSuperFragments()

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

getCommonInheritance

@NonNull
CompleteInheritance getCommonInheritance(@NonNull
                                                   CompleteInheritance inheritance)

getDepth

int getDepth()

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

getFragment

@Nullable
InheritanceFragment getFragment(@NonNull
                                           CompleteInheritance thatInheritance)

getFragments

@NonNull
java.lang.Iterable<InheritanceFragment> getFragments()

getFragment

InheritanceFragment getFragment(int fragmentNumber)

getIndex

int getIndex(int fragmentNumber)

getIndexes

int getIndexes()

getMemberOperation

@Nullable
Operation getMemberOperation(@NonNull
                                        OperationId id)

getMemberProperty

@Nullable
Property getMemberProperty(@NonNull
                                      java.lang.String name)

getPivotClass

Class getPivotClass()

getSelfFragment

@NonNull
InheritanceFragment getSelfFragment()

getSuperFragments

@NonNull
IndexableIterable<InheritanceFragment> getSuperFragments(int depth)

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

getType

@Deprecated
Class getType()

Deprecated.

isOclAny

boolean isOclAny()

isSubInheritanceOf

boolean isSubInheritanceOf(@NonNull
                           CompleteInheritance inheritance)

isSuperInheritanceOf

boolean isSuperInheritanceOf(@NonNull
                             CompleteInheritance inheritance)

isUndefined

boolean isUndefined()

lookupActualOperation

@NonNull
Operation lookupActualOperation(@NonNull
                                          StandardLibrary standardLibrary,
                                          @NonNull
                                          Operation apparentOperation)

lookupImplementation

@NonNull
LibraryFeature lookupImplementation(@NonNull
                                              StandardLibrary standardLibrary,
                                              @NonNull
                                              Operation apparentOperation)

Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.

lookupLocalOperation

@Nullable
Operation lookupLocalOperation(@NonNull
                                          StandardLibrary standardLibrary,
                                          @NonNull
                                          java.lang.String operationName,
                                          CompleteInheritance... argumentTypes)