public class CFGDOTVisualizer
extends java.lang.Object
Constructor and Description |
---|
CFGDOTVisualizer() |
Modifier and Type | Method and Description |
---|---|
protected static java.lang.String |
prepareString(java.lang.String s) |
static java.lang.String |
visualize(Block entry) |
static <A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> |
visualize(Block entry,
@Nullable Analysis<A,S,T> analysis)
Output a graph description in the DOT language, representing the control
flow graph starting at
entry . |
protected static <A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> |
visualizeContent(Block bb,
@Nullable Analysis<A,S,T> analysis)
Produce a string representation of the contests of a basic block.
|
protected static <A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> |
visualizeNode(Node t,
@Nullable Analysis<A,S,T> analysis) |
protected static java.lang.String |
visualizeType(Node t) |
public static java.lang.String visualize(Block entry)
public static <A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> java.lang.String visualize(Block entry, @Nullable Analysis<A,S,T> analysis)
entry
.entry
- The entry node of the control flow graph to be represented.analysis
- An analysis containing information about the program
represented by the CFG. The information includes Store
s that are valid at the beginning of basic blocks reachable
from entry
and per-node information for value
producing Node
s. Can also be null
to
indicate that this information should not be output.protected static <A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> java.lang.String visualizeContent(Block bb, @Nullable Analysis<A,S,T> analysis)
bb
- Basic block to visualize.protected static <A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> java.lang.String visualizeNode(Node t, @Nullable Analysis<A,S,T> analysis)
protected static java.lang.String visualizeType(Node t)
protected static java.lang.String prepareString(java.lang.String s)