public class PredicateCheckNavigationStep extends AbstractNavigationStep
body
expression of an iterator expression.
Before the evaluation is triggered, the single iterator variable obtained from LoopExp.getIterator()
is set to the
RefObject
passed to #navigate(CoreConnection, AnnotatedRefObjectImpl, Map, Set)
in the fromObject
parameter. Depending on the particular type of iterator (select, reject or any), the object is
passed on if and only if the OCL expression evaluates to true/false/true, respectively. For any
iterators other than select, reject or any the object is passed through right away because the
semantics of the iterator are not known.Constructor and Description |
---|
PredicateCheckNavigationStep(org.eclipse.emf.ecore.EClass sourceType,
org.eclipse.emf.ecore.EClass targetType,
IteratorExp iteratorExp,
PathCache pathCache,
OCLFactory oclFactory) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
contentToString(java.util.Map<NavigationStep,java.lang.Integer> visited,
int indent) |
SemanticIdentity |
getSemanticIdentity() |
SemanticIdentity |
getSemanticIdentityOfSuper() |
protected java.util.Set<AnnotatedEObject> |
navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification atPre) |
addAlwaysEmptyChangeListener, addEnteringScopes, addExpressionForWhichThisIsNavigationStep, addHashCodeChangeListener, addLeavingScopes, addSourceTypeChangeListener, addTargetTypeChangeListener, annotateEObject, distinctSize, distinctSize, doesSourceTypeMatch, fireAfterHashCodeChange, fireBeforeHashCodeChange, getDebugInfo, getEnteringScopes, getId, getLeavingScopes, getNavigateCounter, getResultObjectsCounter, getSourceType, getTargetType, haveIntersectingSubclassTree, incrementNavigateCounter, isAbsolute, isAlwaysEmpty, navigate, newTokenForFiringHashCodeChangeEvent, setAlwaysEmpty, size, size, toString, toString
public PredicateCheckNavigationStep(org.eclipse.emf.ecore.EClass sourceType, org.eclipse.emf.ecore.EClass targetType, IteratorExp iteratorExp, PathCache pathCache, OCLFactory oclFactory)
public SemanticIdentity getSemanticIdentityOfSuper()
protected java.util.Set<AnnotatedEObject> navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification atPre)
navigate
in class AbstractNavigationStep
public java.lang.String contentToString(java.util.Map<NavigationStep,java.lang.Integer> visited, int indent)
contentToString
in class AbstractNavigationStep
public SemanticIdentity getSemanticIdentity()
getSemanticIdentity
in interface SemanticComparable
getSemanticIdentity
in class AbstractNavigationStep