|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectforge.util.BreadthFirstVisitor
public abstract class BreadthFirstVisitor
Performs a breadth-first traversal of the call graph and then the statements within the call graph.
Constructor Summary | |
---|---|
protected |
BreadthFirstVisitor()
|
Method Summary | |
---|---|
protected void |
defaultVisit(CFGStmt stmt)
|
void |
traverse(ForgeCFG cfg)
Performs a breadth-first traversal of the cfgs in the call graph, and then of the statements within each cfg. |
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. |
protected void |
visit(ForgeCFG cfg)
|
void |
visit(SpecStmt stmt)
Visits a SpecStmt in the CFG. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
protected BreadthFirstVisitor()
Method Detail |
---|
public final void traverse(ForgeCFG cfg)
protected void visit(ForgeCFG cfg)
protected void defaultVisit(CFGStmt stmt)
public void visit(AssignStmt stmt)
CFGVisitor
visit
in interface CFGVisitor
public void visit(BranchStmt stmt)
CFGVisitor
visit
in interface CFGVisitor
public void visit(CallStmt stmt)
CFGVisitor
visit
in interface CFGVisitor
public void visit(CreateStmt stmt)
CFGVisitor
visit
in interface CFGVisitor
public void visit(ExitStmt stmt)
CFGVisitor
visit
in interface CFGVisitor
public void visit(SpecStmt stmt)
CFGVisitor
visit
in interface CFGVisitor
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |