Uses of Class
tip.cfg.CFGBuilder.ProgramPointGraph

Packages that use CFGBuilder.ProgramPointGraph
tip.cfg Provides the basic framework for performing fixed-point analyses of TIP programs. 
 

Uses of CFGBuilder.ProgramPointGraph in tip.cfg
 

Fields in tip.cfg declared as CFGBuilder.ProgramPointGraph
private  CFGBuilder.ProgramPointGraph CFGBuilder.currentEntryPoint
           
private  CFGBuilder.ProgramPointGraph CFGBuilder.currentExitPoint
           
 

Methods in tip.cfg with parameters of type CFGBuilder.ProgramPointGraph
private  void CFGBuilder.collectProgramPoints(CCFG cfg, CFGBuilder.ProgramPointGraph graph)
           
 

Method parameters in tip.cfg with type arguments of type CFGBuilder.ProgramPointGraph
 void CFGBuilder.ProgramPointGraph.getSuccessorPoints(java.util.Set<CFGBuilder.ProgramPointGraph> programPointSet, java.util.Set<CFGBuilder.Graph> graphSet)
           
abstract  void CFGBuilder.Vertex.getSuccessorPoints(java.util.Set<CFGBuilder.ProgramPointGraph> successorSet, java.util.Set<CFGBuilder.Vertex> vertexSet)
           
 void CFGBuilder.EntryVertex.getSuccessorPoints(java.util.Set<CFGBuilder.ProgramPointGraph> successorSet, java.util.Set<CFGBuilder.Vertex> vertexSet)
           
 void CFGBuilder.ExitVertex.getSuccessorPoints(java.util.Set<CFGBuilder.ProgramPointGraph> successorSet, java.util.Set<CFGBuilder.Vertex> vertexSet)