Uses of Class
tip.cfg.CFGBuilder.Vertex

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

Uses of CFGBuilder.Vertex in tip.cfg
 

Subclasses of CFGBuilder.Vertex in tip.cfg
private static class CFGBuilder.EntryVertex
           
private static class CFGBuilder.ExitVertex
           
 

Fields in tip.cfg declared as CFGBuilder.Vertex
protected  CFGBuilder.Vertex CFGBuilder.Graph.innerEntry
           
protected  CFGBuilder.Vertex CFGBuilder.Graph.innerExit
           
protected  CFGBuilder.Vertex CFGBuilder.Graph.outerEntry
           
protected  CFGBuilder.Vertex CFGBuilder.Graph.outerExit
           
 

Fields in tip.cfg with type parameters of type CFGBuilder.Vertex
 java.util.Set<CFGBuilder.Vertex> CFGBuilder.Vertex.edges
           
protected  java.util.Map<java.lang.String,CFGBuilder.Vertex> CFGBuilder.Graph.entryMap
           
protected  java.util.Map<java.lang.String,CFGBuilder.Vertex> CFGBuilder.Graph.exitMap
           
 

Methods in tip.cfg that return CFGBuilder.Vertex
 CFGBuilder.Vertex CFGBuilder.Graph.getEntry()
           
 CFGBuilder.Vertex CFGBuilder.Graph.getEntry(java.lang.String label)
           
 CFGBuilder.Vertex CFGBuilder.Graph.getExit()
           
 CFGBuilder.Vertex CFGBuilder.Graph.getExit(java.lang.String label)
           
 CFGBuilder.Vertex CFGBuilder.Graph.getInnerEntry()
           
 CFGBuilder.Vertex CFGBuilder.Graph.getInnerExit()
           
 

Method parameters in tip.cfg with type arguments of type CFGBuilder.Vertex
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)