tip.cfg
Class CFGBuilder.ProgramPointGraph

java.lang.Object
  extended by tip.cfg.CFGBuilder.Graph
      extended by tip.cfg.CFGBuilder.ProgramPointGraph
Enclosing class:
CFGBuilder

private static class CFGBuilder.ProgramPointGraph
extends CFGBuilder.Graph


Field Summary
 AProgramPoint programPoint
           
 
Fields inherited from class tip.cfg.CFGBuilder.Graph
entryMap, exitMap, innerEntry, innerExit, node, outerEntry, outerExit
 
Constructor Summary
CFGBuilder.ProgramPointGraph(Node node, AProgramPoint programPoint)
           
 
Method Summary
 void getSuccessorPoints(java.util.Set<CFGBuilder.ProgramPointGraph> programPointSet, java.util.Set<CFGBuilder.Graph> graphSet)
           
 
Methods inherited from class tip.cfg.CFGBuilder.Graph
getEntry, getEntry, getExit, getExit, getInnerEntry, getInnerExit, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

programPoint

public AProgramPoint programPoint
Constructor Detail

CFGBuilder.ProgramPointGraph

public CFGBuilder.ProgramPointGraph(Node node,
                                    AProgramPoint programPoint)
Method Detail

getSuccessorPoints

public void getSuccessorPoints(java.util.Set<CFGBuilder.ProgramPointGraph> programPointSet,
                               java.util.Set<CFGBuilder.Graph> graphSet)