Package forge.cfg

Interface Summary
CFGElement Belongs to a CFG.
CFGVisitor A visitor to a stmt in a CFG.
 

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.
 

Exception Summary
StoreException Checks if expression can be stored in an l-value.