org.eclipse.ocl.examples.domain.elements
Interface DomainFragment

All Known Implementing Classes:

AbstractFragment, DomainReflectiveFragment, EcoreReflectiveFragment, ExecutorFragment, PivotReflectiveFragment, ReflectiveFragment

public interface DomainFragment

A DomainFragment identifies the capabilities introduced by a particular inheritance.

Method Summary

DomainFragment	getBaseFragment() Return the unoverloaded fragment, which is getBaseInheritance().getSelfFragment().
DomainInheritance	getBaseInheritance() Return the inheritance that introduces the operations and properties in this fragment.
DomainInheritance	getDerivedInheritance() Return the inheritance that overloads the operations and properties in this fragment.
LibraryFeature	getImplementation(DomainOperation staticOperation) Return the implementation of the operation within this fragment that has the same signature as staticOperation.
DomainOperation	getLocalOperation(DomainOperation staticOperation) Return the operation within this fragment that has the same signature as staticOperation.
java.lang.Iterable<? extends DomainOperation>	getLocalOperations() Return the operations within this fragment in operation index order.
java.lang.Iterable<? extends DomainProperty>	getLocalProperties() Return the properties within this fragment in property index order.

Method Detail

getBaseFragment

@NonNull
DomainFragment getBaseFragment()

Return the unoverloaded fragment, which is getBaseInheritance().getSelfFragment().

getBaseInheritance

@NonNull
DomainInheritance getBaseInheritance()

Return the inheritance that introduces the operations and properties in this fragment.

getDerivedInheritance

@NonNull
DomainInheritance getDerivedInheritance()

Return the inheritance that overloads the operations and properties in this fragment.

getImplementation

@NonNull
LibraryFeature getImplementation(@NonNull
                                         DomainOperation staticOperation)

Return the implementation of the operation within this fragment that has the same signature as staticOperation. If there is no local overload, returns an inherited operation if unambiguous or OclAnyUnsupportedOperation.AMBIGUOUS if ambiguous.

getLocalOperation

@Nullable
DomainOperation getLocalOperation(@NonNull
                                           DomainOperation staticOperation)

Return the operation within this fragment that has the same signature as staticOperation. Returns null if none.

getLocalOperations

@NonNull
java.lang.Iterable<? extends DomainOperation> getLocalOperations()

Return the operations within this fragment in operation index order.

getLocalProperties

@NonNull
java.lang.Iterable<? extends DomainProperty> getLocalProperties()

Return the properties within this fragment in property index order.