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 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

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.
String	toString() Return true if anOperation overloads an existing operation.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

getImplementation, getLocalOperation, getLocalOperations, getLocalProperties

Field Detail

derivedInheritance

public final CompleteInheritance derivedInheritance

baseInheritance

public final CompleteInheritance baseInheritance

Constructor Detail

AbstractFragment

public AbstractFragment(CompleteInheritance derivedInheritance,
                        CompleteInheritance baseInheritance)

Method Detail

getActualOperation

public Operation getActualOperation(Operation apparentOperation)

Return the actualOperation that has the same signature as apparentOperation.

Specified by:

getActualOperation in interface InheritanceFragment

getBaseFragment

public final InheritanceFragment getBaseFragment()

Description copied from interface: InheritanceFragment

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

Specified by:

getBaseFragment in interface InheritanceFragment

getBaseInheritance

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

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 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 Object