Package org.checkerframework.dataflow.cfg.visualize

package org.checkerframework.dataflow.cfg.visualize

Related Packages

Package	Description
org.checkerframework.dataflow.cfg
org.checkerframework.dataflow.cfg.block
org.checkerframework.dataflow.cfg.builder
org.checkerframework.dataflow.cfg.node
org.checkerframework.dataflow.cfg.playground

Class	Description
AbstractCFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>>	This abstract class makes implementing a CFGVisualizer easier.
AbstractCFGVisualizer.VisualizeWhere	Whether to visualize before or after a block.
CFGVisualizeLauncher	Launcher to generate the DOT or String representation of the control flow graph of a given method in a given class.
CFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>>	Perform some visualization on a control flow graph.
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.