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

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

All Implemented Interfaces:

Attribution

public class InvocationExpCSAttribution
extends AbstractAttribution

Field Summary

static InvocationExpCSAttribution

INSTANCE

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

REGISTRY

Constructor Summary

InvocationExpCSAttribution()

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.
protected ScopeFilter	createInvocationFilter(InvocationExpCS targetElement, Type type)
protected boolean	isRequiredType(EnvironmentView environmentView)

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 InvocationExpCSAttribution INSTANCE

Constructor Detail

InvocationExpCSAttribution

public InvocationExpCSAttribution()

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

createInvocationFilter

@NonNull
protected ScopeFilter createInvocationFilter(@NonNull
                                                     InvocationExpCS targetElement,
                                                     @Nullable
                                                     Type type)

isRequiredType

protected boolean isRequiredType(@NonNull
                                 EnvironmentView environmentView)