|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| ExecutionFlow<STATEMENT extends Statement> | |
| Class Summary | |
|---|---|
| Branch | |
| ExecutionFlowEngine | |
| ExecutionFlowVisitor<STATEMENT extends Statement> | |
| FlowHandler | |
| Statement | |
| Exception Summary | |
|---|---|
| BarrierSignal | A Barrier signal is used to silently stop exploring a path. |
| ExecutionFlowError | |
| ExecutionFlowSignal | |
| StopFlowExplorationSignal | Must be used to stop visiting the execution flow. |
| StopPathExplorationSignal | This signal must be used when the end of a path has been reached. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||