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

java.lang.Object
  org.eclipse.ocl.examples.xtext.essentialocl.attributes.AbstractOperationFilter
      org.eclipse.ocl.examples.xtext.essentialocl.attributes.OperationFilter

All Implemented Interfaces:

ScopeFilter

public class OperationFilter
extends AbstractOperationFilter

Field Summary

protected int	accumulators
protected java.util.List<NavigatingArgCS>	csArguments
protected int	expressions
protected int	iterators

Fields inherited from class org.eclipse.ocl.examples.xtext.essentialocl.attributes.AbstractOperationFilter

metaModelManager, sourceType

Constructor Summary

OperationFilter(MetaModelManager metaModelManager, Type sourceType, InvocationExpCS csNavigatingExp)

Method Summary

protected OCLExpression	getExpressionArgument(int index)
protected java.util.Map<TemplateParameter,ParameterableElement>	getIterationBindings(Iteration candidateIteration)
protected java.util.Map<TemplateParameter,ParameterableElement>	getOperationBindings(Operation candidateOperation)
protected void	installBindings(EnvironmentView environmentView, Type forType, org.eclipse.emf.ecore.EObject eObject, java.util.Map<TemplateParameter,ParameterableElement> bindings)
boolean	matches(EnvironmentView environmentView, Type forType, org.eclipse.emf.ecore.EObject eObject) Return true if the filter accepts eObject as a candidate for inclusion in the EnvironmentView.

Methods inherited from class org.eclipse.ocl.examples.xtext.essentialocl.attributes.AbstractOperationFilter

compareMatches

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

csArguments

protected final java.util.List<NavigatingArgCS> csArguments

iterators

protected final int iterators

accumulators

protected final int accumulators

expressions

protected final int expressions

Constructor Detail

OperationFilter

public OperationFilter(MetaModelManager metaModelManager,
                       Type sourceType,
                       InvocationExpCS csNavigatingExp)

Method Detail

getExpressionArgument

protected OCLExpression getExpressionArgument(int index)

getIterationBindings

protected java.util.Map<TemplateParameter,ParameterableElement> getIterationBindings(Iteration candidateIteration)

getOperationBindings

protected java.util.Map<TemplateParameter,ParameterableElement> getOperationBindings(Operation candidateOperation)

Overrides:

getOperationBindings in class AbstractOperationFilter

installBindings

protected void installBindings(EnvironmentView environmentView,
                               Type forType,
                               org.eclipse.emf.ecore.EObject eObject,
                               java.util.Map<TemplateParameter,ParameterableElement> bindings)

Overrides:

installBindings in class AbstractOperationFilter

matches

public boolean matches(EnvironmentView environmentView,
                       Type forType,
                       org.eclipse.emf.ecore.EObject eObject)

Description copied from interface: ScopeFilter

Return true if the filter accepts eObject as a candidate for inclusion in the EnvironmentView.