edu.cmu.cs.crystal.cfg.eclipse
Class EclipseNodeFirstCFG

java.lang.Object
  extended by org.eclipse.jdt.core.dom.ASTVisitor
      extended by edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
          extended by edu.cmu.cs.crystal.cfg.eclipse.EclipseNodeFirstCFG
All Implemented Interfaces:
IControlFlowGraph<ASTNode>, Cloneable

public class EclipseNodeFirstCFG
extends EclipseCFG

A CFG which places the control flow node at the merge point.

Author:
Ciera Jaspan
See Also:
for a complete analysis of where to place the control flow node.

Constructor Summary
EclipseNodeFirstCFG()
           
EclipseNodeFirstCFG(MethodDeclaration method)
           
 
Method Summary
 void endVisit(DoStatement node)
           
 void endVisit(EnhancedForStatement node)
           
 void endVisit(ForStatement node)
           
 void endVisit(WhileStatement node)
           
 boolean visit(DoStatement node)
           
 boolean visit(EnhancedForStatement node)
           
 boolean visit(ForStatement node)
           
 boolean visit(WhileStatement node)
           
 
Methods inherited from class edu.cmu.cs.crystal.cfg.eclipse.EclipseCFG
createGraph, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, getDotGraph, getEndNode, getExceptionalExits, getStartNode, getUberReturn, getUndeclaredExit, preVisit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
 
Methods inherited from class org.eclipse.jdt.core.dom.ASTVisitor
endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, postVisit, preVisit2, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

EclipseNodeFirstCFG

public EclipseNodeFirstCFG()

EclipseNodeFirstCFG

public EclipseNodeFirstCFG(MethodDeclaration method)
Method Detail

visit

public boolean visit(DoStatement node)
Overrides:
visit in class EclipseCFG

endVisit

public void endVisit(DoStatement node)
Overrides:
endVisit in class EclipseCFG

visit

public boolean visit(EnhancedForStatement node)
Overrides:
visit in class EclipseCFG

endVisit

public void endVisit(EnhancedForStatement node)
Overrides:
endVisit in class EclipseCFG

visit

public boolean visit(ForStatement node)
Overrides:
visit in class EclipseCFG

endVisit

public void endVisit(ForStatement node)
Overrides:
endVisit in class EclipseCFG

visit

public boolean visit(WhileStatement node)
Overrides:
visit in class EclipseCFG

endVisit

public void endVisit(WhileStatement node)
Overrides:
endVisit in class EclipseCFG