org.eclipse.ocl.examples.impactanalyzer.instanceScope
Class EmptyResultNavigationStep

java.lang.Object
  org.eclipse.ocl.examples.impactanalyzer.instanceScope.AbstractNavigationStep
      org.eclipse.ocl.examples.impactanalyzer.instanceScope.AbsoluteNavigationStep
          org.eclipse.ocl.examples.impactanalyzer.instanceScope.EmptyResultNavigationStep

All Implemented Interfaces:

NavigationStep, SemanticComparable

public class EmptyResultNavigationStep
extends AbsoluteNavigationStep

Constructor Summary

EmptyResultNavigationStep(OCLExpression debugInfo)

Method Summary

java.lang.String	contentToString(java.util.Map<NavigationStep,java.lang.Integer> visited, int indent)
protected java.util.Set<AnnotatedEObject>	navigate(AnnotatedEObject fromObject, TracebackCache cache, org.eclipse.emf.common.notify.Notification changeEvent)

Methods inherited from class org.eclipse.ocl.examples.impactanalyzer.instanceScope.AbsoluteNavigationStep

isAbsolute

Methods inherited from class org.eclipse.ocl.examples.impactanalyzer.instanceScope.AbstractNavigationStep

addAlwaysEmptyChangeListener, addEnteringScopes, addExpressionForWhichThisIsNavigationStep, addHashCodeChangeListener, addLeavingScopes, addSourceTypeChangeListener, addTargetTypeChangeListener, annotateEObject, distinctSize, distinctSize, doesSourceTypeMatch, fireAfterHashCodeChange, fireBeforeHashCodeChange, getDebugInfo, getEnteringScopes, getId, getLeavingScopes, getNavigateCounter, getResultObjectsCounter, getSemanticIdentity, getSourceType, getTargetType, haveIntersectingSubclassTree, incrementNavigateCounter, isAlwaysEmpty, navigate, newTokenForFiringHashCodeChangeEvent, setAlwaysEmpty, size, size, toString, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

EmptyResultNavigationStep

public EmptyResultNavigationStep(OCLExpression debugInfo)

Method Detail

contentToString

public java.lang.String contentToString(java.util.Map<NavigationStep,java.lang.Integer> visited,
                                        int indent)

Overrides:

contentToString in class AbstractNavigationStep

navigate

protected java.util.Set<AnnotatedEObject> navigate(AnnotatedEObject fromObject,
                                                   TracebackCache cache,
                                                   org.eclipse.emf.common.notify.Notification changeEvent)

Specified by:

navigate in class AbstractNavigationStep