org.checkerframework.dataflow.cfg

Class CFGDOTVisualizer

java.lang.Object

org.checkerframework.dataflow.cfg.CFGDOTVisualizer

public class CFGDOTVisualizer
extends Object

Generate a graph description in the DOT language of a control graph.

Author:

Stefan Heule

Constructor Summary

Constructors

Constructor and Description
CFGDOTVisualizer()

Method Summary

Modifier and Type	Method and Description
protected static String	prepareString(String s)
static String	visualize(ControlFlowGraph cfg, Block entry) Output a graph description in the DOT language, representing the control flow graph starting at entry.
static <A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> String	visualize(ControlFlowGraph cfg, Block entry, @Nullable Analysis<A,S,T> analysis, boolean verbose) 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>> String	visualizeContent(Block bb, @Nullable Analysis<A,S,T> analysis, boolean verbose) 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>> String	visualizeNode(Node t, @Nullable Analysis<A,S,T> analysis)
protected static String	visualizeType(Node t)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CFGDOTVisualizer

public CFGDOTVisualizer()

Method Detail

visualize

public static String visualize(ControlFlowGraph cfg,
                               Block entry)

Output a graph description in the DOT language, representing the control flow graph starting at entry. Does not output verbose information or stores at the beginning of basic blocks.

See Also:

visualize(ControlFlowGraph, Block, Analysis, boolean)

visualize

public static <A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> String visualize(ControlFlowGraph cfg,
                                                                                                               Block entry,
                                                                                                               @Nullable Analysis<A,S,T> analysis,
                                                                                                               boolean verbose)

Output a graph description in the DOT language, representing the control flow graph starting at entry.

Parameters:

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 Nodes. Can also be null to indicate that this information should not be output.

verbose - Add more output to the CFG description.

Returns:

String representation of the graph in the DOT language.

visualizeContent

protected static <A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> String visualizeContent(Block bb,
                                                                                                                         @Nullable Analysis<A,S,T> analysis,
                                                                                                                         boolean verbose)

Produce a string representation of the contests of a basic block.

Parameters:

bb - Basic block to visualize.

Returns:

String representation.

visualizeNode

protected static <A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> String visualizeNode(Node t,
                                                                                                                      @Nullable Analysis<A,S,T> analysis)

visualizeType

protected static String visualizeType(Node t)

prepareString

protected static String prepareString(String s)