|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Object | +--org.xmloperator.lambda.net.util.NetUtils
Utilities about traversing a lambda-net.
| Constructor Summary | |
NetUtils()
|
|
| Method Summary | |
static void |
incrementMark(Eraser rootEraser,
boolean isMarkIncremented)
Increment (or decrement) the mark of any Operator connected to an Eraser, recursively. |
static java.util.List |
operatorList(Eraser rootEraser)
Returns a List of Operators belonging to a lambda-net. |
static void |
print(java.io.PrintStream out,
Eraser rootEraser)
Print a presentation of a lambda-net. |
static void |
print(java.io.PrintStream out,
java.util.List operatorList)
Print a presentation of a lambda-net. |
static void |
verifyClosure(Eraser rootEraser)
Verify the closure and the mark-homogeneity of a lambda-net. |
static void |
verifyXFree(Eraser rootEraser)
Verify that there is no reducable interaction other than beta and the root Eraser. |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public NetUtils()
| Method Detail |
public static final void incrementMark(Eraser rootEraser,
boolean isMarkIncremented)
Pre-condition: all the Operators have the same mark.
Post-condition: the Operator marks are incremented.
rootEraser - a root Eraser.
FreePortException - if a Port is found free.
MarkedDifferentlyException - if an Operator has not
the same mark than the others.public static final void verifyClosure(Eraser rootEraser)
Pre-condition: all the Operators have the same mark.
Post-condition: the Operator marks are unmodified.
rootEraser - a root Eraser.
FreePortException - if a Port is found free.
MarkedDifferentlyException - if an Operator has not
the same mark than the others.public static final void verifyXFree(Eraser rootEraser)
Pre-condition: all the Operators have the same mark.
Post-condition: the Operator marks are unmodified.
rootEraser - a root Eraser.
org.xmloperator.lambda.net.exception.UnreducedXInteractionException - if there is a reducable
interaction other than beta and the root Eraser.
FreePortException - if a Port is found free.
MarkedDifferentlyException - if an Operator has not
the same mark than the others.public static final java.util.List operatorList(Eraser rootEraser)
rootEraser - a root Eraser.
FreePortException - if a Port is found free.
MarkedDifferentlyException - if an Operator has not
the same mark than the others.
public static final void print(java.io.PrintStream out,
Eraser rootEraser)
out - a PrintStream.rootEraser - a root Eraser.
public static final void print(java.io.PrintStream out,
java.util.List operatorList)
out - a PrintStream.operatorList - a List of Operators.
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||