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

java.lang.Object
  org.eclipse.ocl.examples.xtext.essentialocl.scoping.AbstractOperationFilter

All Implemented Interfaces:

EnvironmentView.Filter

Direct Known Subclasses:

BinaryOperationFilter, ImplicitCollectFilter, ImplicitCollectionFilter, OperationFilter, UnaryOperationFilter

public abstract class AbstractOperationFilter
extends java.lang.Object
implements EnvironmentView.Filter

Field Summary

protected Type	sourceType
protected TypeManager	typeManager

Constructor Summary

AbstractOperationFilter(TypeManager typeManager, 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)
protected void	installOclSelfBinding(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.xtext.base.scope.EnvironmentView.Filter

matches

Field Detail

typeManager

protected final TypeManager typeManager

sourceType

protected final Type sourceType

Constructor Detail

AbstractOperationFilter

public AbstractOperationFilter(TypeManager typeManager,
                               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: EnvironmentView.Filter

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 EnvironmentView.Filter

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)

installOclSelfBinding

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