tip.cfg
Class CFGBuilder.ExitVertex

java.lang.Object
  extended by tip.cfg.CFGBuilder.Vertex
      extended by tip.cfg.CFGBuilder.ExitVertex
Enclosing class:
CFGBuilder

private static class CFGBuilder.ExitVertex
extends CFGBuilder.Vertex


Field Summary
 
Fields inherited from class tip.cfg.CFGBuilder.Vertex
edges, parent
 
Constructor Summary
CFGBuilder.ExitVertex(CFGBuilder.Graph parent)
           
 
Method Summary
 void getSuccessorPoints(java.util.Set<CFGBuilder.ProgramPointGraph> successorSet, java.util.Set<CFGBuilder.Vertex> vertexSet)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CFGBuilder.ExitVertex

public CFGBuilder.ExitVertex(CFGBuilder.Graph parent)
Method Detail

getSuccessorPoints

public void getSuccessorPoints(java.util.Set<CFGBuilder.ProgramPointGraph> successorSet,
                               java.util.Set<CFGBuilder.Vertex> vertexSet)
Specified by:
getSuccessorPoints in class CFGBuilder.Vertex