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

Class DomainReflectiveFragment

java.lang.Object

org.eclipse.ocl.pivot.types.AbstractFragment

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

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

All Implemented Interfaces:

InheritanceFragment

public class DomainReflectiveFragment
extends ReflectiveFragment

Field Summary

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

baseInheritance, derivedInheritance

Constructor Summary

Constructors

Constructor and Description
DomainReflectiveFragment(DomainReflectiveType derivedInheritance, CompleteInheritance baseInheritance)

Method Summary

Modifier and Type	Method and Description
Operation	getLocalOperation(Operation baseOperation) Return the operation within this fragment that has the same signature as apparentOperation.

Methods inherited from class org.eclipse.ocl.pivot.internal.library.executor.ReflectiveFragment

getImplementation, getLocalOperations, getLocalProperties

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

DomainReflectiveFragment

public DomainReflectiveFragment(DomainReflectiveType derivedInheritance,
                                CompleteInheritance baseInheritance)

Method Detail

getLocalOperation

public Operation getLocalOperation(Operation baseOperation)

Description copied from interface: InheritanceFragment

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