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

Fields

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

Constructors

Constructor and Description
OperationFilter(MetaModelManager metaModelManager, Type sourceType, InvocationExpCS csNavigatingExp) Deprecated.
OperationFilter(Type sourceType, InvocationExpCS csNavigatingExp)

Method Summary

Methods

Modifier and Type	Method and Description
int	compareMatches(MetaModelManager metaModelManager, DomainElement match1, java.util.Map<TemplateParameter,ParameterableElement> referenceBindings, DomainElement 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, DomainElement eObject, java.util.Map<TemplateParameter,ParameterableElement> bindings)
boolean	matches(EnvironmentView environmentView, DomainElement eObject) 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

@Deprecated
public OperationFilter(@NonNull
                          MetaModelManager metaModelManager,
                          @Nullable
                          Type sourceType,
                          @NonNull
                          InvocationExpCS csNavigatingExp)

Deprecated.

OperationFilter

public OperationFilter(@Nullable
               Type sourceType,
               @NonNull
               InvocationExpCS csNavigatingExp)

Method Detail

compareMatches

public int compareMatches(@NonNull
                 MetaModelManager metaModelManager,
                 @NonNull
                 DomainElement match1,
                 @Nullable
                 java.util.Map<TemplateParameter,ParameterableElement> referenceBindings,
                 @NonNull
                 DomainElement 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
                   DomainElement eObject,
                   @Nullable
                   java.util.Map<TemplateParameter,ParameterableElement> bindings)

Overrides:

installBindings in class AbstractOperationFilter

matches

public boolean matches(@NonNull
              EnvironmentView environmentView,
              @NonNull
              DomainElement eObject)

Description copied from interface: ScopeFilter

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