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

java.lang.Object
  extended by org.eclipse.ocl.examples.xtext.essentialocl.scoping.AbstractOperationFilter
      extended by org.eclipse.ocl.examples.xtext.essentialocl.scoping.OperationFilter
All Implemented Interfaces:
EnvironmentView.Filter

public class OperationFilter
extends AbstractOperationFilter


Field Summary
 
Fields inherited from class org.eclipse.ocl.examples.xtext.essentialocl.scoping.AbstractOperationFilter
sourceType, typeManager
 
Constructor Summary
OperationFilter(TypeManager typeManager, Type sourceType, NavigatingExpCS 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.scoping.AbstractOperationFilter
compareMatches, installOclSelfBinding
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OperationFilter

public OperationFilter(TypeManager typeManager,
                       Type sourceType,
                       NavigatingExpCS 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: EnvironmentView.Filter
Return true if the filter accepts eObject as a candidate for inclusion in the EnvironmentView.