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

java.lang.Object
  extended by org.eclipse.ocl.examples.xtext.essentialocl.attributes.AbstractOperationFilter
      extended by 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
sourceType
 
Constructor Summary
OperationFilter(Type sourceType, InvocationExpCS csNavigatingExp)
           
 
Method Summary
 int compareMatches(MetaModelManager metaModelManager, java.lang.Object match1, java.util.Map<TemplateParameter,ParameterableElement> referenceBindings, java.lang.Object match2, java.util.Map<TemplateParameter,ParameterableElement> candidateBindings)
          Return -ve if match1 is inferior to match2, +ve if match2 is inferior to match1, or zero if both matches are of equal validity.
protected  OCLExpression getExpressionArgument(int index)
           
protected  java.util.Map<TemplateParameter,ParameterableElement> getIterationBindings(MetaModelManager metaModelManager, Iteration candidateIteration)
           
protected  java.util.Map<TemplateParameter,ParameterableElement> getOperationBindings(MetaModelManager metaModelManager, Operation candidateOperation)
           
protected  void installBindings(EnvironmentView environmentView, java.lang.Object object, java.util.Map<TemplateParameter,ParameterableElement> bindings)
           
 boolean matches(EnvironmentView environmentView, java.lang.Object object)
          Return true if the filter accepts eObject as a candidate for inclusion in the EnvironmentView.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

csArguments

@NonNull
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(@Nullable
                       Type sourceType,
                       @NonNull
                       InvocationExpCS csNavigatingExp)
Method Detail

compareMatches

public int compareMatches(@NonNull
                          MetaModelManager metaModelManager,
                          @NonNull
                          java.lang.Object match1,
                          @Nullable
                          java.util.Map<TemplateParameter,ParameterableElement> referenceBindings,
                          @NonNull
                          java.lang.Object match2,
                          @Nullable
                          java.util.Map<TemplateParameter,ParameterableElement> candidateBindings)
Description copied from interface: ScopeFilter
Return -ve if match1 is inferior to match2, +ve if match2 is inferior to match1, or zero if both matches are of equal validity.

Specified by:
compareMatches in interface ScopeFilter
Overrides:
compareMatches in class AbstractOperationFilter

getExpressionArgument

@Nullable
protected OCLExpression getExpressionArgument(int index)

getIterationBindings

@Nullable
protected java.util.Map<TemplateParameter,ParameterableElement> getIterationBindings(@NonNull
                                                                                              MetaModelManager metaModelManager,
                                                                                              @NonNull
                                                                                              Iteration candidateIteration)

getOperationBindings

@Nullable
protected java.util.Map<TemplateParameter,ParameterableElement> getOperationBindings(@NonNull
                                                                                              MetaModelManager metaModelManager,
                                                                                              @NonNull
                                                                                              Operation candidateOperation)
Overrides:
getOperationBindings in class AbstractOperationFilter

installBindings

protected void installBindings(@NonNull
                               EnvironmentView environmentView,
                               @NonNull
                               java.lang.Object object,
                               @Nullable
                               java.util.Map<TemplateParameter,ParameterableElement> bindings)
Overrides:
installBindings in class AbstractOperationFilter

matches

public boolean matches(@NonNull
                       EnvironmentView environmentView,
                       @NonNull
                       java.lang.Object object)
Description copied from interface: ScopeFilter
Return true if the filter accepts eObject as a candidate for inclusion in the EnvironmentView.