|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface DomainInheritance
An Inheritance provides access to the transitive inheritance relationships of a type 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 | |
---|---|
static DomainInheritance[] |
EMPTY_ARRAY
|
Method Summary | |
---|---|
java.lang.Iterable<? extends DomainOperation> |
getAllOperations(FeatureFilter featureFilter)
|
java.lang.Iterable<? extends DomainProperty> |
getAllProperties(FeatureFilter featureFilter)
|
java.lang.Iterable<DomainFragment> |
getAllSuperFragments()
Return a depth ordered, OclAny-first, OclSelf-last, Iterable of all the super-adapters including this one. |
DomainInheritance |
getCommonInheritance(DomainInheritance inheritance)
|
int |
getDepth()
Return the inheritance depth of the target type: OclAny is at depth 0. |
DomainFragment |
getFragment(DomainInheritance thatInheritance)
|
DomainFragment |
getFragment(int fragmentNumber)
|
int |
getIndex(int fragmentNumber)
|
int |
getIndexes()
|
DomainOperation |
getMemberOperation(OperationId id)
|
DomainProperty |
getMemberProperty(java.lang.String name)
|
DomainFragment |
getSelfFragment()
|
DomainStandardLibrary |
getStandardLibrary()
Return the Standard Library managing the dispatch tables. |
IndexableIterable<DomainFragment> |
getSuperFragments(int depth)
Return an Iterable of all the super-inheritances at a specified depth, between 0 and getDepth() inclusive. |
boolean |
isSubInheritanceOf(DomainInheritance inheritance)
|
boolean |
isSuperInheritanceOf(DomainStandardLibrary standardLibrary,
DomainInheritance inheritance)
|
boolean |
isUndefined()
|
DomainOperation |
lookupLocalOperation(DomainStandardLibrary standardLibrary,
java.lang.String operationName,
DomainInheritance... argumentTypes)
|
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainType |
---|
conformsTo, createInstance, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getTypeId, getTypeParameters, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, lookupImplementation, specializeIn |
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainNamespace |
---|
getOwnedRule |
Methods inherited from interface org.eclipse.ocl.examples.domain.values.OCLValue |
---|
oclEquals, oclHashCode |
Field Detail |
---|
static final DomainInheritance[] EMPTY_ARRAY
Method Detail |
---|
@NonNull java.lang.Iterable<? extends DomainOperation> getAllOperations(@Nullable FeatureFilter featureFilter)
@NonNull java.lang.Iterable<? extends DomainProperty> getAllProperties(@Nullable FeatureFilter featureFilter)
@NonNull java.lang.Iterable<DomainFragment> getAllSuperFragments()
@NonNull DomainInheritance getCommonInheritance(@NonNull DomainInheritance inheritance)
int getDepth()
@Nullable DomainFragment getFragment(@NonNull DomainInheritance thatInheritance)
DomainFragment getFragment(int fragmentNumber)
int getIndex(int fragmentNumber)
int getIndexes()
@Nullable DomainOperation getMemberOperation(@NonNull OperationId id)
@Nullable DomainProperty getMemberProperty(@NonNull java.lang.String name)
@NonNull DomainFragment getSelfFragment()
@NonNull DomainStandardLibrary getStandardLibrary()
@NonNull IndexableIterable<DomainFragment> getSuperFragments(int depth)
boolean isSubInheritanceOf(@NonNull DomainInheritance inheritance)
boolean isSuperInheritanceOf(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainInheritance inheritance)
boolean isUndefined()
@Nullable DomainOperation lookupLocalOperation(@NonNull DomainStandardLibrary standardLibrary, @NonNull java.lang.String operationName, DomainInheritance... argumentTypes)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |