org.checkerframework.dataflow.cfg

Class StringCFGVisualizer<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.StringCFGVisualizer<A,S,T>

All Implemented Interfaces:

CFGVisualizer<A,S,T>

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

Generate the String representation of a control flow graph.

Field Summary

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

lineSeparator, storeEntryIndent, verbose

Constructor Summary

Constructors

Constructor and Description
StringCFGVisualizer()

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.
void	shutdown() Shutdown method called once from the shutdown hook of the BaseTypeChecker.
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.
@Nullable 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, init, 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

Constructor Detail

StringCFGVisualizer

public StringCFGVisualizer()

Method Detail

visualize

public 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 @Nullable 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

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()

Shutdown method called once from the shutdown hook of the BaseTypeChecker.

StringCFGVisualizer does not write into file, so left intentionally blank.

visualizeGraphHeader

protected java.lang.String visualizeGraphHeader()

Return the header of the generated graph.

StringCFGVisualizer does not need a specific header, so just return an empty string.

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()

Return the footer of the generated graph.

StringCFGVisualizer does not need a specific footer, so just return an empty string.

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