Class Summary |
AssignStmt |
A stmt which assigns an expression to a variable (local or field). |
BranchStmt |
A branching node of a Forge control flow graph. |
CallStmt |
A CFG node at which a procedure is called. |
CFGStmt |
A stmt in a Forge control flow graph. |
CreateStmt |
A stmt which constructs a new instance of a class and assigns that instance
to a local variable. |
ExitStmt |
A terminal stmt of a control flow graph. |
ForgeCFG |
The CFG of a procedure. |
ForgeCFG.Impl |
An implementation CFG with several statements. |
ForgeCFG.Spec |
A specification CFG containing only a single specification statement. |
ReferenceStmt |
A statement in the control-flow graph that may reference the current value
of modifiables. |
SpecStmt |
A specification statement. |
StmtSet |
A set of statements belonging to a single CFG. |
UpdateStmt |
A stmt in the control flow graph that may change the state of the execution
and which has exactly one successor. |