|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.display.CFGDisplay
public class CFGDisplay
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 |
---|
public static final boolean useParser
Constructor Detail |
---|
public CFGDisplay()
Method Detail |
---|
public static void displayCFGs(ICFGCollection cfgList, NodeText<Node> _nodeText, Collection<FixedPointAnalysis<?>> analyses, Collection<PointsToMap> pointsToMaps, int vicinity)
public static dk.brics.dot.DotNode createPointsToGraph(dk.brics.dot.DotGraph graph, Map<Target,Set<Target>> ptMap, String name, dk.brics.dot.DotColor color)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |