org.checkerframework.dataflow.cfg

Class DOTCFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>>

java.lang.Object

org.checkerframework.dataflow.cfg.AbstractCFGVisualizer<A,S,T>

org.checkerframework.dataflow.cfg.DOTCFGVisualizer<A,S,T>

All Implemented Interfaces:

CFGVisualizer<A,S,T>

public class DOTCFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>>
extends AbstractCFGVisualizer<A,S,T>

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

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	checkerName Initialized in init(Map).
protected java.util.Map<java.lang.String,java.lang.String>	generated Mapping from class/method representation to generated dot file.
protected static java.lang.String	leftJustifiedTerminator Terminator for lines that are left-justified.
protected java.lang.String	outDir The output directory.

Fields inherited from class org.checkerframework.dataflow.cfg.AbstractCFGVisualizer

lineSeparator, storeEntryIndent, verbose

Constructor Summary

Constructors

Constructor and Description
DOTCFGVisualizer()

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	addEdge(long sId, long eId, java.lang.String flowRule) Generate the String representation of an edge.
protected java.lang.String	dotOutputFileName(UnderlyingAST ast) Create a dot file and return its name.
void	init(java.util.Map<java.lang.String,java.lang.Object> args) Initialization method guaranteed to be called once before the first invocation of CFGVisualizer.visualize(org.checkerframework.dataflow.cfg.ControlFlowGraph, org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.analysis.Analysis<A, S, T>).
void	shutdown() Write a file methods.txt that contains a mapping from source code location to generated dot file.
@Nullable java.util.Map<java.lang.String,java.lang.Object>	visualize(ControlFlowGraph cfg, Block entry, @Nullable Analysis<A,S,T> analysis) Output a visualization representing the control flow graph starting at entry.
java.lang.String	visualizeBlock(Block bb, @Nullable Analysis<A,S,T> analysis) Visualize a block based on the analysis.
java.lang.String	visualizeBlockNode(Node t, @Nullable Analysis<A,S,T> analysis) Visualize a Node based on the analysis.
java.lang.String	visualizeBlockTransferInput(Block bb, Analysis<A,S,T> analysis) Visualize the transferInput of a Block based on the analysis.
protected java.lang.String	visualizeGraphFooter() Return the footer of the generated graph.
protected java.lang.String	visualizeGraphHeader() Return the header of the generated graph.
java.lang.String	visualizeNodes(java.util.Set<Block> blocks, ControlFlowGraph cfg, @Nullable Analysis<A,S,T> analysis) Generate the String representation of the nodes of a control flow graph.
java.lang.String	visualizeSpecialBlock(SpecialBlock sbb) Visualize a SpecialBlock.
java.lang.String	visualizeStoreArrayVal(FlowExpressions.ArrayAccess arrayValue, A value) Called by CFAbstractStore#internalVisualize() to visualize the value of arrays collected by this Store.
java.lang.String	visualizeStoreClassVals(FlowExpressions.ClassName className, A value) Called by CFAbstractStore#internalVisualize() to visualize the value of class names collected by this Store.
java.lang.String	visualizeStoreFieldVals(FlowExpressions.FieldAccess fieldAccess, A value) Called by CFAbstractStore#internalVisualize() to visualize the value of fields collected by this Store.
java.lang.String	visualizeStoreFooter() Called by CFAbstractStore to visualize any information after the invocation of CFAbstractStore#internalVisualize().
java.lang.String	visualizeStoreHeader(java.lang.String classCanonicalName) Called by a CFAbstractStore to visualize the class name before calling the CFAbstractStore#internalVisualize() method.
java.lang.String	visualizeStoreKeyVal(java.lang.String keyName, java.lang.Object value) Called by CFAbstractStore#internalVisualize() to visualize the specific information collected according to the specific kind of Store.
java.lang.String	visualizeStoreLocalVar(FlowExpressions.LocalVariable localVar, A value) Called by CFAbstractStore#internalVisualize() to visualize a local variable.
java.lang.String	visualizeStoreMethodVals(FlowExpressions.MethodCall methodCall, A value) Called by CFAbstractStore#internalVisualize() to visualize the value of pure method calls collected by this Store.
java.lang.String	visualizeStoreThisVal(A value) Called by CFAbstractStore#internalVisualize() to visualize the value of the current object this in this Store.

Methods inherited from class org.checkerframework.dataflow.cfg.AbstractCFGVisualizer

addBlock, addBlockContent, getLastNode, getNodeSimpleName, getProcessOrder, getProcessOrderSimpleString, handleSuccessorsHelper, loopOverBlockContents, visualizeBlockHelper, visualizeBlockTransferInputHelper, visualizeGraph, visualizeGraphWithoutHeaderAndFooter, visualizeSpecialBlockHelper, visualizeStore

Methods inherited from class java.lang.Object

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

Field Detail

outDir

protected java.lang.String outDir

The output directory.

checkerName

protected java.lang.String checkerName

Initialized in init(Map). Use it as a part of the name of the output dot file.

generated

protected java.util.Map<java.lang.String,java.lang.String> generated

Mapping from class/method representation to generated dot file.

leftJustifiedTerminator

protected static final java.lang.String leftJustifiedTerminator

Terminator for lines that are left-justified.

See Also:

Constant Field Values

Constructor Detail

DOTCFGVisualizer

public DOTCFGVisualizer()

Method Detail

init

public void init(java.util.Map<java.lang.String,java.lang.Object> args)

Description copied from interface: CFGVisualizer

Initialization method guaranteed to be called once before the first invocation of CFGVisualizer.visualize(org.checkerframework.dataflow.cfg.ControlFlowGraph, org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.analysis.Analysis<A, S, T>).

Specified by:

init in interface CFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>>

Overrides:

init in class AbstractCFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>>

Parameters:

args - implementation-dependent options

visualize

public @Nullable java.util.Map<java.lang.String,java.lang.Object> visualize(ControlFlowGraph cfg,
                                                                            Block entry,
                                                                            @Nullable Analysis<A,S,T> analysis)

Description copied from interface: CFGVisualizer

Output a visualization representing the control flow graph starting at entry. The concrete actions are implementation dependent.

An invocation visualize(cfg, entry, null); does not output stores at the beginning of basic blocks.

Parameters:

cfg - the CFG to visualize

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 Stores 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.

Returns:

visualization results, e.g. generated file names (DOTCFGVisualizer) or a String representation of the CFG (StringCFGVisualizer)

visualizeNodes

public java.lang.String visualizeNodes(java.util.Set<Block> blocks,
                                       ControlFlowGraph cfg,
                                       @Nullable Analysis<A,S,T> analysis)

Description copied from class: AbstractCFGVisualizer

Generate the String representation of the nodes of a control flow graph.

Specified by:

visualizeNodes in class AbstractCFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>>

Parameters:

blocks - the set of all the blocks in a control flow graph

cfg - the control flow graph

analysis - the current analysis

Returns:

the String representation of the nodes

addEdge

protected java.lang.String addEdge(long sId,
                                   long eId,
                                   java.lang.String flowRule)

Description copied from class: AbstractCFGVisualizer

Generate the String representation of an edge.

Specified by:

addEdge in class AbstractCFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>>

Parameters:

sId - the ID of current block

eId - the ID of successor block

flowRule - the content of the edge

Returns:

the String representation of the edge

visualizeBlock

public java.lang.String visualizeBlock(Block bb,
                                       @Nullable Analysis<A,S,T> analysis)

Description copied from interface: CFGVisualizer

Visualize a block based on the analysis.

Parameters:

bb - the block

analysis - the current analysis

Returns:

the String representation of the given block

visualizeSpecialBlock

public java.lang.String visualizeSpecialBlock(SpecialBlock sbb)

Description copied from interface: CFGVisualizer

Visualize a SpecialBlock.

Parameters:

sbb - the special block

Returns:

the String representation of the type of the special block sbb: entry, exit, or exceptional-exit

visualizeBlockTransferInput

public java.lang.String visualizeBlockTransferInput(Block bb,
                                                    Analysis<A,S,T> analysis)

Description copied from interface: CFGVisualizer

Visualize the transferInput of a Block based on the analysis.

Parameters:

bb - the block

analysis - the current analysis

Returns:

the String representation of the transferInput of the given block

dotOutputFileName

protected java.lang.String dotOutputFileName(UnderlyingAST ast)

Create a dot file and return its name.

Parameters:

ast - an abstract syntax tree

Returns:

the file name used for DOT output

visualizeBlockNode

public java.lang.String visualizeBlockNode(Node t,
                                           @Nullable Analysis<A,S,T> analysis)

Description copied from interface: CFGVisualizer

Visualize a Node based on the analysis.

Parameters:

t - the node

analysis - the current analysis

Returns:

the String representation of the given node

visualizeStoreThisVal

public java.lang.String visualizeStoreThisVal(A value)

Description copied from interface: CFGVisualizer

Called by CFAbstractStore#internalVisualize() to visualize the value of the current object this in this Store.

Parameters:

value - the value of the current object this

Returns:

the String representation of this

visualizeStoreLocalVar

public java.lang.String visualizeStoreLocalVar(FlowExpressions.LocalVariable localVar,
                                               A value)

Description copied from interface: CFGVisualizer

Called by CFAbstractStore#internalVisualize() to visualize a local variable.

Parameters:

localVar - the local variable

value - the value of the local variable

Returns:

the String representation of the local variable

visualizeStoreFieldVals

public java.lang.String visualizeStoreFieldVals(FlowExpressions.FieldAccess fieldAccess,
                                                A value)

Description copied from interface: CFGVisualizer

Called by CFAbstractStore#internalVisualize() to visualize the value of fields collected by this Store.

Parameters:

fieldAccess - the field

value - the value of the field

Returns:

the String representation of the field

visualizeStoreArrayVal

public java.lang.String visualizeStoreArrayVal(FlowExpressions.ArrayAccess arrayValue,
                                               A value)

Description copied from interface: CFGVisualizer

Called by CFAbstractStore#internalVisualize() to visualize the value of arrays collected by this Store.

Parameters:

arrayValue - the array

value - the value of the array

Returns:

the String representation of the array

visualizeStoreMethodVals

public java.lang.String visualizeStoreMethodVals(FlowExpressions.MethodCall methodCall,
                                                 A value)

Description copied from interface: CFGVisualizer

Called by CFAbstractStore#internalVisualize() to visualize the value of pure method calls collected by this Store.

Parameters:

methodCall - the pure method call

value - the value of the pure method call

Returns:

the String representation of the pure method call

visualizeStoreClassVals

public java.lang.String visualizeStoreClassVals(FlowExpressions.ClassName className,
                                                A value)

Description copied from interface: CFGVisualizer

Called by CFAbstractStore#internalVisualize() to visualize the value of class names collected by this Store.

Parameters:

className - the class name

value - the value of the class name

Returns:

the String representation of the class name

visualizeStoreKeyVal

public java.lang.String visualizeStoreKeyVal(java.lang.String keyName,
                                             java.lang.Object value)

Description copied from interface: CFGVisualizer

Called by CFAbstractStore#internalVisualize() to visualize the specific information collected according to the specific kind of Store. Currently, these Stores call this method: LockStore, NullnessStore, and InitializationStore to visualize additional information.

Parameters:

keyName - the name of the specific information to be visualized

value - the value of the specific information to be visualized

Returns:

the String representation of the specific information

visualizeStoreHeader

public java.lang.String visualizeStoreHeader(java.lang.String classCanonicalName)

Description copied from interface: CFGVisualizer

Called by a CFAbstractStore to visualize the class name before calling the CFAbstractStore#internalVisualize() method.

Parameters:

classCanonicalName - the canonical name of the class

Returns:

the String representation of the class name

visualizeStoreFooter

public java.lang.String visualizeStoreFooter()

Description copied from interface: CFGVisualizer

Called by CFAbstractStore to visualize any information after the invocation of CFAbstractStore#internalVisualize().

Returns:

the String representation of the footer

shutdown

public void shutdown()

Write a file methods.txt that contains a mapping from source code location to generated dot file.

visualizeGraphHeader

protected java.lang.String visualizeGraphHeader()

Description copied from class: AbstractCFGVisualizer

Return the header of the generated graph.

Specified by:

visualizeGraphHeader in class AbstractCFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>>

Returns:

the String representation of the header of the control flow graph

visualizeGraphFooter

protected java.lang.String visualizeGraphFooter()

Description copied from class: AbstractCFGVisualizer

Return the footer of the generated graph.

Specified by:

visualizeGraphFooter in class AbstractCFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>>

Returns:

the String representation of the footer of the control flow graph