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

Class AbstractOperationFilter

java.lang.Object

org.eclipse.ocl.examples.xtext.essentialocl.attributes.AbstractOperationFilter

All Implemented Interfaces:

ScopeFilter

Direct Known Subclasses:

BinaryOperationFilter, CompleteOCLContainmentVisitor.OperationDeclScopeFilter, ImplicitCollectFilter, ImplicitCollectionFilter, OperationFilter, UnaryOperationFilter

public abstract class AbstractOperationFilter
extends java.lang.Object
implements ScopeFilter

Field Summary

Fields

Modifier and Type	Field and Description
protected Type	sourceType

Constructor Summary

Constructors

Constructor and Description
AbstractOperationFilter(Type sourceType)

Method Summary

Methods

Modifier and Type	Method and Description
int	compareMatches(MetaModelManager metaModelManager, DomainElement match1, java.util.Map<TemplateParameter,ParameterableElement> bindings1, DomainElement match2, java.util.Map<TemplateParameter,ParameterableElement> bindings2) 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 java.util.Map<TemplateParameter,ParameterableElement>	getOperationBindings(MetaModelManager metaModelManager, Operation candidateOperation)
protected void	installBindings(EnvironmentView environmentView, DomainElement eObject, java.util.Map<TemplateParameter,ParameterableElement> bindings)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.ocl.examples.pivot.scoping.ScopeFilter

matches

Field Detail

sourceType

@Nullable
protected final Type sourceType

Constructor Detail

AbstractOperationFilter

public AbstractOperationFilter(@Nullable
                       Type sourceType)

Method Detail

compareMatches

public int compareMatches(@NonNull
                 MetaModelManager metaModelManager,
                 @NonNull
                 DomainElement match1,
                 @Nullable
                 java.util.Map<TemplateParameter,ParameterableElement> bindings1,
                 @NonNull
                 DomainElement match2,
                 @Nullable
                 java.util.Map<TemplateParameter,ParameterableElement> bindings2)

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

getOperationBindings

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

installBindings

protected void installBindings(@NonNull
                   EnvironmentView environmentView,
                   @NonNull
                   DomainElement eObject,
                   @Nullable
                   java.util.Map<TemplateParameter,ParameterableElement> bindings)