tip.cfg
Class CFGBuilder.Graph

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

private static class CFGBuilder.Graph
extends java.lang.Object


Field Summary
protected  java.util.Map<java.lang.String,CFGBuilder.Vertex> entryMap
           
protected  java.util.Map<java.lang.String,CFGBuilder.Vertex> exitMap
           
protected  CFGBuilder.Vertex innerEntry
           
protected  CFGBuilder.Vertex innerExit
           
 Node node
           
protected  CFGBuilder.Vertex outerEntry
           
protected  CFGBuilder.Vertex outerExit
           
 
Constructor Summary
CFGBuilder.Graph(Node node)
           
 
Method Summary
 CFGBuilder.Vertex getEntry()
           
 CFGBuilder.Vertex getEntry(java.lang.String label)
           
 CFGBuilder.Vertex getExit()
           
 CFGBuilder.Vertex getExit(java.lang.String label)
           
 CFGBuilder.Vertex getInnerEntry()
           
 CFGBuilder.Vertex getInnerExit()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

node

public Node node

outerEntry

protected CFGBuilder.Vertex outerEntry

innerEntry

protected CFGBuilder.Vertex innerEntry

outerExit

protected CFGBuilder.Vertex outerExit

innerExit

protected CFGBuilder.Vertex innerExit

entryMap

protected java.util.Map<java.lang.String,CFGBuilder.Vertex> entryMap

exitMap

protected java.util.Map<java.lang.String,CFGBuilder.Vertex> exitMap
Constructor Detail

CFGBuilder.Graph

public CFGBuilder.Graph(Node node)
Method Detail

getEntry

public CFGBuilder.Vertex getEntry()

getEntry

public CFGBuilder.Vertex getEntry(java.lang.String label)

getInnerEntry

public CFGBuilder.Vertex getInnerEntry()

getExit

public CFGBuilder.Vertex getExit()

getExit

public CFGBuilder.Vertex getExit(java.lang.String label)

getInnerExit

public CFGBuilder.Vertex getInnerExit()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object