Package org.checkerframework.dataflow.cfg.visualize

Interface Summary

Interface	Description
CFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>>	Perform some visualization on a control flow graph.

Class Summary

Class	Description
AbstractCFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>>	This abstract class makes implementing a CFGVisualizer easier.
CFGVisualizeLauncher	Launcher to generate the DOT or String representation of the control flow graph of a given method in a given class.
CFGVisualizeOptions	Options for running analysis on files.
DOTCFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>>	Generate a graph description in the DOT language of a control graph.
StringCFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>>	Generate the String representation of a control flow graph.

Enum Summary

Enum	Description
AbstractCFGVisualizer.VisualizeWhere	Whether to visualize before or after a block.