|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.xmloperator.lambda.net.util.NetTraversal
This is an iterator on the Operators belonging to a lambda-net.
The mark of each Operator is changed during traversal.
The net is supposed to be invariant (no interaction) during traversal.
The first Operator given by the next() method is the root Eraser.
Before traversing a net, its Operators must have the same mark.
Constructor Summary | |
NetTraversal(Eraser rootEraser)
|
|
NetTraversal(Eraser rootEraser,
boolean isMarkIncremented)
|
Method Summary | |
boolean |
hasNext()
Returns true if there is yet one or more Operator(s) to read. |
Operator |
next()
Returns the next Operator. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public NetTraversal(Eraser rootEraser)
public NetTraversal(Eraser rootEraser, boolean isMarkIncremented)
Method Detail |
public boolean hasNext()
OperatorIterator
hasNext
in interface OperatorIterator
public Operator next()
OperatorIterator
next
in interface OperatorIterator
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |