public interface CompleteInheritance extends Nameable
Modifier and Type | Field and Description |
---|---|
static CompleteInheritance[] |
EMPTY_ARRAY |
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) |
@NonNull static final CompleteInheritance[] EMPTY_ARRAY
@NonNull java.lang.Iterable<InheritanceFragment> getAllProperSuperFragments()
@NonNull java.lang.Iterable<InheritanceFragment> getAllSuperFragments()
@NonNull CompleteInheritance getCommonInheritance(@NonNull CompleteInheritance inheritance)
int getDepth()
@Nullable InheritanceFragment getFragment(@NonNull CompleteInheritance thatInheritance)
@NonNull java.lang.Iterable<InheritanceFragment> getFragments()
InheritanceFragment getFragment(int fragmentNumber)
int getIndex(int fragmentNumber)
int getIndexes()
@Nullable Operation getMemberOperation(@NonNull OperationId id)
@Nullable Property getMemberProperty(@NonNull java.lang.String name)
Class getPivotClass()
@NonNull InheritanceFragment getSelfFragment()
@NonNull IndexableIterable<InheritanceFragment> getSuperFragments(int depth)
@Deprecated Class getType()
boolean isOclAny()
boolean isSubInheritanceOf(@NonNull CompleteInheritance inheritance)
boolean isSuperInheritanceOf(@NonNull CompleteInheritance inheritance)
boolean isUndefined()
@NonNull Operation lookupActualOperation(@NonNull StandardLibrary standardLibrary, @NonNull Operation apparentOperation)
@NonNull LibraryFeature lookupImplementation(@NonNull StandardLibrary standardLibrary, @NonNull Operation apparentOperation)
@Nullable Operation lookupLocalOperation(@NonNull StandardLibrary standardLibrary, @NonNull java.lang.String operationName, CompleteInheritance... argumentTypes)