org.eclipse.ocl.xtext.essentialocl.attributes

Class LetVariableCSAttribution

java.lang.Object

org.eclipse.ocl.pivot.internal.scoping.AbstractAttribution

org.eclipse.ocl.xtext.essentialocl.attributes.LetVariableCSAttribution

All Implemented Interfaces:

Attribution

public class LetVariableCSAttribution
extends AbstractAttribution

Field Summary

Fields

Modifier and Type	Field and Description
static LetVariableCSAttribution	INSTANCE

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

REGISTRY

Constructor Summary

Constructors

Constructor and Description
LetVariableCSAttribution()

Method Summary

Modifier and Type	Method and Description
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

public static final LetVariableCSAttribution INSTANCE

Constructor Detail

LetVariableCSAttribution

public LetVariableCSAttribution()

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