tip.cfg
Class CFGBuilder.Vertex

java.lang.Object
  extended by tip.cfg.CFGBuilder.Vertex
Direct Known Subclasses:
CFGBuilder.EntryVertex, CFGBuilder.ExitVertex
Enclosing class:
CFGBuilder

private abstract static class CFGBuilder.Vertex
extends java.lang.Object


Field Summary
 java.util.Set<CFGBuilder.Vertex> edges
           
 CFGBuilder.Graph parent
           
 
Constructor Summary
CFGBuilder.Vertex(CFGBuilder.Graph parent)
           
 
Method Summary
abstract  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
 

Field Detail

parent

public CFGBuilder.Graph parent

edges

public java.util.Set<CFGBuilder.Vertex> edges
Constructor Detail

CFGBuilder.Vertex

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

getSuccessorPoints

public abstract void getSuccessorPoints(java.util.Set<CFGBuilder.ProgramPointGraph> successorSet,
                                        java.util.Set<CFGBuilder.Vertex> vertexSet)