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

protected MetaModelManager	metaModelManager
protected Type	sourceType

Constructor Summary

AbstractOperationFilter(MetaModelManager metaModelManager, Type sourceType)

Method Summary

int	compareMatches(org.eclipse.emf.ecore.EObject match1, java.util.Map<TemplateParameter,ParameterableElement> bindings1, org.eclipse.emf.ecore.EObject 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(Operation candidateOperation)
protected void	installBindings(EnvironmentView environmentView, Type forType, org.eclipse.emf.ecore.EObject 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

metaModelManager

protected final MetaModelManager metaModelManager

sourceType

protected final Type sourceType

Constructor Detail

AbstractOperationFilter

public AbstractOperationFilter(MetaModelManager metaModelManager,
                               Type sourceType)

Method Detail

compareMatches

public int compareMatches(org.eclipse.emf.ecore.EObject match1,
                          java.util.Map<TemplateParameter,ParameterableElement> bindings1,
                          org.eclipse.emf.ecore.EObject match2,
                          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

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

installBindings

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