|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 |
public boolean hasNext()
public Operator next()
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.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |