org.eclipse.ocl.pivot.internal.library.executor

Class ExecutorFragment

java.lang.Object

org.eclipse.ocl.pivot.types.AbstractFragment

org.eclipse.ocl.pivot.internal.library.executor.ExecutorFragment

All Implemented Interfaces:

InheritanceFragment

public class ExecutorFragment
extends AbstractFragment

An ExecutorFragment provides the description of the properties and operations defined by some class when accessed by the same or another class. The descriptions are normally built by direct static construction from auto-generated code, with instnaces defined in isolation during construction then cross-references defined later by calls to init().

Field Summary

Fields inherited from class org.eclipse.ocl.pivot.types.AbstractFragment

baseInheritance, derivedInheritance

Constructor Summary

Constructors

Constructor and Description
ExecutorFragment(ExecutorType derivedInheritance, CompleteInheritance baseInheritance)

Method Summary

Modifier and Type	Method and Description
LibraryFeature	getImplementation(Operation staticOperation) Return the implementation of the actualOperation within this fragment that has the same signature as apparentOperation.
Operation	getLocalOperation(Operation staticOperation) Return the operation within this fragment that has the same signature as apparentOperation.
List<Operation>	getLocalOperations() Return the operations within this fragment in operation index order.
List<Property>	getLocalProperties() Return the properties within this fragment in property index order.
List<Class>	getSuperClasses()
void	initOperations(ExecutorOperation[] operations)
void	initProperties(ExecutorProperty[] properties)

Methods inherited from class org.eclipse.ocl.pivot.types.AbstractFragment

getActualOperation, getBaseFragment, getBaseInheritance, getDerivedInheritance, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ExecutorFragment

public ExecutorFragment(ExecutorType derivedInheritance,
                        CompleteInheritance baseInheritance)

Method Detail

getImplementation

public LibraryFeature getImplementation(Operation staticOperation)

Description copied from interface: InheritanceFragment

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

getLocalOperation

public Operation getLocalOperation(Operation staticOperation)

Description copied from interface: InheritanceFragment

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

getLocalOperations

public List<Operation> getLocalOperations()

Description copied from interface: InheritanceFragment

Return the operations within this fragment in operation index order.

getLocalProperties

public List<Property> getLocalProperties()

Description copied from interface: InheritanceFragment

Return the properties within this fragment in property index order.

getSuperClasses

public List<Class> getSuperClasses()

initOperations

public void initOperations(ExecutorOperation[] operations)

initProperties

public void initProperties(ExecutorProperty[] properties)