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

Class ReflectiveFragment

java.lang.Object

org.eclipse.ocl.pivot.types.AbstractFragment

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

All Implemented Interfaces:

InheritanceFragment

Direct Known Subclasses:

DomainReflectiveFragment, EcoreReflectiveFragment, PivotReflectiveFragment

public abstract class ReflectiveFragment
extends AbstractFragment

A ReflectiveFragment 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 lazily and one name at a time using reflective access to some meta-model.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<Operation,Operation>	apparentOperation2actualOperation
protected java.util.Map<Operation,LibraryFeature>	operationMap
protected java.util.Map<Property,LibraryFeature>	propertyMap

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

baseInheritance, derivedInheritance

Constructor Summary

Constructors

Constructor and Description
ReflectiveFragment(CompleteInheritance derivedInheritance, CompleteInheritance baseInheritance)

Method Summary

Modifier and Type	Method and Description
LibraryFeature	getImplementation(Operation apparentOperation) Return the implementation of the actualOperation within this fragment that has the same signature as apparentOperation.
java.lang.Iterable<? extends Operation>	getLocalOperations() Return the operations within this fragment in operation index order.
java.lang.Iterable<? extends Property>	getLocalProperties() Return the properties within this fragment in property index order.

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

getActualOperation, getBaseFragment, getBaseInheritance, getDerivedInheritance, toString

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

getLocalOperation

Field Detail

operationMap

protected java.util.Map<Operation,LibraryFeature> operationMap

apparentOperation2actualOperation

protected java.util.Map<Operation,Operation> apparentOperation2actualOperation

propertyMap

protected java.util.Map<Property,LibraryFeature> propertyMap

Constructor Detail

ReflectiveFragment

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

Method Detail

getImplementation

@NonNull
public LibraryFeature getImplementation(@NonNull
                                                  Operation apparentOperation)

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.

getLocalOperations

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

Description copied from interface: InheritanceFragment

Return the operations within this fragment in operation index order.

getLocalProperties

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

Description copied from interface: InheritanceFragment

Return the properties within this fragment in property index order.