teetime.framework

Class Traverser

java.lang.Object

teetime.framework.Traverser

public class Traverser
extends Object

Traverses the all stages that are reachable from the given stage. Each stage is visited exactly once (not more, not less).

Author:

Christian Wulf

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Traverser.AlreadyRunsEndOfTraverse Represents the following termination condition: stop if the stage already runs or has been terminated
static interface	Traverser.EndOfTraverse
static class	Traverser.VisitorBehavior

Constructor Summary

Constructors

Constructor and Description
Traverser(ITraverserVisitor traverserVisitor)
Traverser(ITraverserVisitor traverserVisitor, Traverser.EndOfTraverse endOfTraverse)

Method Summary

Modifier and Type	Method and Description
void	traverse(AbstractStage stage)

Methods inherited from class java.lang.Object

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

Constructor Detail

Traverser

public Traverser(ITraverserVisitor traverserVisitor)

Traverser

public Traverser(ITraverserVisitor traverserVisitor,
                 Traverser.EndOfTraverse endOfTraverse)

Method Detail

traverse

public void traverse(AbstractStage stage)