|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface CFGVisitor
A visitor to a stmt in a CFG. The result of visiting each s can be cached. If a result for a node has been cached, then the visit method on that node is not called.
Method Summary | |
---|---|
void |
visit(AssignStmt stmt)
Visits an AssignStmt in the CFG. |
void |
visit(BranchStmt stmt)
Visits a BranchStmt in the CFG. |
void |
visit(CallStmt stmt)
Visits a CallStmt in the CFG. |
void |
visit(CreateStmt stmt)
Visits a CreateStmt in the CFG. |
void |
visit(ExitStmt stmt)
Visits a ExitStmt in the CFG. |
void |
visit(SpecStmt stmt)
Visits a SpecStmt in the CFG. |
Method Detail |
---|
void visit(AssignStmt stmt)
void visit(CallStmt stmt)
void visit(CreateStmt stmt)
void visit(BranchStmt stmt)
void visit(SpecStmt stmt)
void visit(ExitStmt stmt)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |