Class EnumerationAttribution

  extended by org.eclipse.ocl.examples.pivot.scoping.AbstractAttribution
      extended by org.eclipse.ocl.examples.pivot.attributes.EnumerationAttribution
All Implemented Interfaces:

public class EnumerationAttribution
extends AbstractAttribution

Field Summary
static EnumerationAttribution INSTANCE
Fields inherited from interface org.eclipse.ocl.examples.pivot.scoping.Attribution
Constructor Summary
Method Summary
 ScopeView computeLookup(org.eclipse.emf.ecore.EObject target, EnvironmentView environmentView, ScopeView scopeView)
          Add the local lookup contributions to a view of an Environment.
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail


public static final EnumerationAttribution INSTANCE
Constructor Detail


public EnumerationAttribution()
Method Detail


public ScopeView computeLookup(@NonNull
                               org.eclipse.emf.ecore.EObject target,
                               EnvironmentView environmentView,
                               ScopeView scopeView)
Description copied from interface: Attribution
Add the local lookup contributions to a view of an Environment.

The EnvironmentView contains the lookup matching criteria such as a specific name and accumulates candidate results.

The input ScopeView identifies the CS node and the containment of the CS child from which the lookup is made allowing derived implementations to present the alternative environments specified as the Inherited Attributes in the OCL Specification.

The returned ScopeView identifies an outer scope in which the lookup may be continued if the local candidate results are not suitable.

Specified by:
computeLookup in interface Attribution
computeLookup in class AbstractAttribution
environmentView - the EnvironmentView to compute
scopeView - the access selectivity to be applied by the lookup
an outer ScopeView in which to continue the lookup, or null if none