forge.cfg
Interface CFGVisitor

All Known Implementing Classes:
AbstractTransformer.TransformVisitor, BreadthFirstVisitor

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.

Author:
Greg Dennis (gdennis@mit.edu)

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

visit

void visit(AssignStmt stmt)
Visits an AssignStmt in the CFG.


visit

void visit(CallStmt stmt)
Visits a CallStmt in the CFG.


visit

void visit(CreateStmt stmt)
Visits a CreateStmt in the CFG.


visit

void visit(BranchStmt stmt)
Visits a BranchStmt in the CFG.


visit

void visit(SpecStmt stmt)
Visits a SpecStmt in the CFG.


visit

void visit(ExitStmt stmt)
Visits a ExitStmt in the CFG.