org.eclipse.ocl.pivot.types

Class AbstractFragment

java.lang.Object

org.eclipse.ocl.pivot.types.AbstractFragment

All Implemented Interfaces:

InheritanceFragment

Direct Known Subclasses:

ExecutorFragment, ReflectiveFragment

public abstract class AbstractFragment
extends java.lang.Object
implements InheritanceFragment

Field Summary

Fields

Modifier and Type	Field and Description
CompleteInheritance	baseInheritance
CompleteInheritance	derivedInheritance

Constructor Summary

Constructors

Constructor and Description
AbstractFragment(CompleteInheritance derivedInheritance, CompleteInheritance baseInheritance)

Method Summary

Methods

Modifier and Type	Method and Description
Operation	getActualOperation(Operation apparentOperation) Return the actualOperation that has the same signature as apparentOperation.
InheritanceFragment	getBaseFragment() Return the unoverloaded fragment, which is getBaseInheritance().getSelfFragment().
CompleteInheritance	getBaseInheritance() Return the inheritance that introduces the operations and properties in this fragment.
CompleteInheritance	getDerivedInheritance() Return the inheritance that overloads the operations and properties in this fragment.
java.lang.String	toString() Return true if anOperation overloads an existing operation.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

getImplementation, getLocalOperation, getLocalOperations, getLocalProperties

Field Detail

derivedInheritance

@NonNull
public final CompleteInheritance derivedInheritance

baseInheritance

@NonNull
public final CompleteInheritance baseInheritance

Constructor Detail

AbstractFragment

public AbstractFragment(@NonNull
                CompleteInheritance derivedInheritance,
                @NonNull
                CompleteInheritance baseInheritance)

Method Detail

getActualOperation

@NonNull
public Operation getActualOperation(@NonNull
                                   Operation apparentOperation)

Return the actualOperation that has the same signature as apparentOperation.

Specified by:

getActualOperation in interface InheritanceFragment

getBaseFragment

@NonNull
public final InheritanceFragment getBaseFragment()

Description copied from interface: InheritanceFragment

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

Specified by:

getBaseFragment in interface InheritanceFragment

getBaseInheritance

@NonNull
public final CompleteInheritance getBaseInheritance()

Description copied from interface: InheritanceFragment

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

Specified by:

getBaseInheritance in interface InheritanceFragment

getDerivedInheritance

@NonNull
public final CompleteInheritance getDerivedInheritance()

Description copied from interface: InheritanceFragment

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

Specified by:

getDerivedInheritance in interface InheritanceFragment

toString

public java.lang.String toString()

Return true if anOperation overloads an existing operation. protected boolean isOverload(DomainOperation anOperation) { int depth = derivedInheritance.getDepth(); for (int i = 0; i <= depth-1; i++) { for (DomainInheritance superInheritance : derivedInheritance.getSuperInheritances(depth)) { DomainFragment baseFragment = superInheritance.getSelfFragment(); for (DomainOperation baseOperation : baseFragment.getOperations()) { if (isOverload(anOperation, baseOperation)) { return true; } } } } return false; }

Overrides:

toString in class java.lang.Object