org.eclipse.ocl.examples.xtext.essentialocl.attributes
Class NavigatingArgCSAttribution

java.lang.Object
  org.eclipse.ocl.examples.pivot.scoping.AbstractAttribution
      org.eclipse.ocl.examples.xtext.essentialocl.attributes.NavigatingArgCSAttribution

All Implemented Interfaces:

Attribution

public class NavigatingArgCSAttribution
extends AbstractAttribution

Field Summary

static NavigatingArgCSAttribution

INSTANCE

Fields inherited from interface org.eclipse.ocl.examples.pivot.scoping.Attribution

REGISTRY

Constructor Summary

NavigatingArgCSAttribution()

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

INSTANCE

@NonNull
public static final NavigatingArgCSAttribution INSTANCE

Constructor Detail

NavigatingArgCSAttribution

public NavigatingArgCSAttribution()

Method Detail

computeLookup

public ScopeView computeLookup(@NonNull
                               org.eclipse.emf.ecore.EObject target,
                               @NonNull
                               EnvironmentView environmentView,
                               @NonNull
                               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

Overrides:

computeLookup in class AbstractAttribution

environmentView - the EnvironmentView to compute

scopeView - the access selectivity to be applied by the lookup

Returns:

an outer ScopeView in which to continue the lookup, or null if none