org.xmloperator.lambda.net.util
Interface OperatorIterator

All Known Implementing Classes:
NetTraversal

public interface OperatorIterator

Operator iterator in a closed lambda-net. The iterator modify the marks of all the Operators, to a same value. Iterating must be accomplished entirely. There must be no operation on the net, such as connection/disconnection, during iterating.

Pre-condition: all the Operators have the same mark.

Post-condition: all the Operators have the same mark.


Method Summary
 boolean hasNext()
          Returns true if there is yet one or more Operator(s) to read.
 Operator next()
          Returns the next Operator.
 

Method Detail

hasNext

public boolean hasNext()
Returns true if there is yet one or more Operator(s) to read.

Returns:
true if there is yet one or more Operator(s) to read.

next

public Operator next()
Returns the next Operator.

Returns:
the next Operator.
Throws:
java.lang.IllegalStateException - if there is no more Operator.
MarkedDifferentlyException - if an Operator has not the same mark than the others.
FreePortException - if a Port is found free.