tip.display
Class CFGDisplay

java.lang.Object
  extended by tip.display.CFGDisplay

public class CFGDisplay
extends Object


Field Summary
static boolean useParser
           
 
Constructor Summary
CFGDisplay()
           
 
Method Summary
static dk.brics.dot.DotNode createPointsToGraph(dk.brics.dot.DotGraph graph, Map<Target,Set<Target>> ptMap, String name, dk.brics.dot.DotColor color)
           
static void displayCFGs(ICFGCollection cfgList, NodeText<Node> _nodeText, Collection<FixedPointAnalysis<?>> analyses, Collection<PointsToMap> pointsToMaps, int vicinity)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

useParser

public static final boolean useParser
See Also:
Constant Field Values
Constructor Detail

CFGDisplay

public CFGDisplay()
Method Detail

displayCFGs

public static void displayCFGs(ICFGCollection cfgList,
                               NodeText<Node> _nodeText,
                               Collection<FixedPointAnalysis<?>> analyses,
                               Collection<PointsToMap> pointsToMaps,
                               int vicinity)

createPointsToGraph

public static dk.brics.dot.DotNode createPointsToGraph(dk.brics.dot.DotGraph graph,
                                                       Map<Target,Set<Target>> ptMap,
                                                       String name,
                                                       dk.brics.dot.DotColor color)