org.checkerframework.dataflow.cfg

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

java.lang.Object

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

All Implemented Interfaces:

CFGVisualizer<A,S,T>

Direct Known Subclasses:

DOTCFGVisualizer, StringCFGVisualizer

public abstract class AbstractCFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>>
extends java.lang.Object
implements CFGVisualizer<A,S,T>

This abstract class makes implementing a CFGVisualizer easier. Some of the methods in CFGVisualizer are already implemented in this abstract class, but can be overridden if necessary.

See Also:

DOTCFGVisualizer, StringCFGVisualizer

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	lineSeparator The line separator.
protected java.lang.String	storeEntryIndent The indentation for elements of the store.
protected boolean	verbose Initialized in init(Map).

Constructor Summary

Constructors

Constructor and Description
AbstractCFGVisualizer()

Method Summary

Modifier and Type	Method and Description
protected void	addBlock(Block b, java.util.Set<Block> visited, java.util.Queue<Block> workList) Checks whether a block exists in the visited blocks list, and, if not, adds it to the visited blocks list and the work list.
protected java.util.List<Node>	addBlockContent(Block bb) Returns the contents of the block.
protected abstract java.lang.String	addEdge(long sId, long eId, java.lang.String flowRule) Generate the String representation of an edge.
protected Node	getLastNode(Block bb) Returns the last node of a block, or null if none.
protected java.lang.String	getNodeSimpleName(Node t) Get the simple name of a node.
protected java.util.IdentityHashMap<Block,java.util.List<java.lang.Integer>>	getProcessOrder(ControlFlowGraph cfg) Generate the order of processing blocks.
protected java.lang.String	getProcessOrderSimpleString(java.util.List<java.lang.Integer> order) Return the simple String of the process order of a node, e.g., "Process order: 23".
protected void	handleSuccessorsHelper(Block cur, java.util.Set<Block> visited, java.util.Queue<Block> workList, java.lang.StringBuilder sbGraph) Adds the successors of the current block to the work list and the visited blocks list.
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>).
protected java.lang.String	loopOverBlockContents(Block bb, @Nullable Analysis<A,S,T> analysis, java.lang.String separator) Iterates over the block content and visualizes all the nodes in it.
protected java.lang.String	visualizeBlockHelper(Block bb, @Nullable Analysis<A,S,T> analysis, java.lang.String escapeString) Helper method to visualize a block.
protected java.lang.String	visualizeBlockTransferInputHelper(Block bb, Analysis<A,S,T> analysis, java.lang.String escapeString) Visualize the transfer input of a block.
protected java.lang.String	visualizeGraph(ControlFlowGraph cfg, Block entry, @Nullable Analysis<A,S,T> analysis) Visualize a control flow graph.
protected abstract java.lang.String	visualizeGraphFooter() Return the footer of the generated graph.
protected abstract java.lang.String	visualizeGraphHeader() Return the header of the generated graph.
protected java.lang.String	visualizeGraphWithoutHeaderAndFooter(ControlFlowGraph cfg, Block entry, @Nullable Analysis<A,S,T> analysis) Helper method to visualize a control flow graph, without outputting a header or footer.
protected abstract 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.
protected java.lang.String	visualizeSpecialBlockHelper(SpecialBlock sbb, java.lang.String separator) Visualize a special block.
java.lang.String	visualizeStore(S store) Delegate the visualization responsibility to the passed Store instance, which will call back to this visualizer instance for sub-components.

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.checkerframework.dataflow.cfg.CFGVisualizer

shutdown, visualize, visualizeBlock, visualizeBlockNode, visualizeBlockTransferInput, visualizeSpecialBlock, visualizeStoreArrayVal, visualizeStoreClassVals, visualizeStoreFieldVals, visualizeStoreFooter, visualizeStoreHeader, visualizeStoreKeyVal, visualizeStoreLocalVar, visualizeStoreMethodVals, visualizeStoreThisVal

Field Detail

verbose

protected boolean verbose

Initialized in init(Map). If its value is true, CFGVisualizer returns more detailed information.

lineSeparator

protected final java.lang.String lineSeparator

The line separator.

storeEntryIndent

protected final java.lang.String storeEntryIndent

The indentation for elements of the store.

See Also:

Constant Field Values

Constructor Detail

AbstractCFGVisualizer

public AbstractCFGVisualizer()

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

Parameters:

args - implementation-dependent options

visualizeGraph

protected java.lang.String visualizeGraph(ControlFlowGraph cfg,
                                          Block entry,
                                          @Nullable Analysis<A,S,T> analysis)

Visualize a control flow graph.

Parameters:

cfg - the current control flow graph

entry - the entry block of the control flow graph

analysis - the current analysis

Returns:

the representation of the control flow graph

visualizeGraphWithoutHeaderAndFooter

protected java.lang.String visualizeGraphWithoutHeaderAndFooter(ControlFlowGraph cfg,
                                                                Block entry,
                                                                @Nullable Analysis<A,S,T> analysis)

Helper method to visualize a control flow graph, without outputting a header or footer.

Parameters:

cfg - the control flow graph

entry - the entry block of the control flow graph

analysis - the current analysis

Returns:

the String representation of the control flow graph

handleSuccessorsHelper

protected void handleSuccessorsHelper(Block cur,
                                      java.util.Set<Block> visited,
                                      java.util.Queue<Block> workList,
                                      java.lang.StringBuilder sbGraph)

Adds the successors of the current block to the work list and the visited blocks list.

Parameters:

cur - the current block

visited - the set of blocks that have already been visited or are in the work list

workList - the queue of blocks to be processed

sbGraph - the StringBuilder to store the graph

addBlock

protected void addBlock(Block b,
                        java.util.Set<Block> visited,
                        java.util.Queue<Block> workList)

Checks whether a block exists in the visited blocks list, and, if not, adds it to the visited blocks list and the work list.

Parameters:

b - the block to check

visited - the set of blocks that have already been visited or are in the work list

workList - the queue of blocks to be processed

visualizeBlockHelper

protected java.lang.String visualizeBlockHelper(Block bb,
                                                @Nullable Analysis<A,S,T> analysis,
                                                java.lang.String escapeString)

Helper method to visualize a block.

Parameters:

bb - the block

analysis - the current analysis

escapeString - the escape String for the special need of visualization, e.g., "\\l" for DOTCFGVisualizer to keep line left-justification, "\n" for StringCFGVisualizer to simply add a new line

Returns:

the String representation of the block

loopOverBlockContents

protected java.lang.String loopOverBlockContents(Block bb,
                                                 @Nullable Analysis<A,S,T> analysis,
                                                 java.lang.String separator)

Iterates over the block content and visualizes all the nodes in it.

Parameters:

bb - the block

analysis - the current analysis

separator - the separator between the nodes of the block

Returns:

the String representation of the contents of the block

addBlockContent

protected java.util.List<Node> addBlockContent(Block bb)

Returns the contents of the block.

Parameters:

bb - the block

Returns:

the contents of the block, as a list of nodes

visualizeBlockTransferInputHelper

protected java.lang.String visualizeBlockTransferInputHelper(Block bb,
                                                             Analysis<A,S,T> analysis,
                                                             java.lang.String escapeString)

Visualize the transfer input of a block.

Parameters:

bb - the block

analysis - the current analysis

escapeString - the escape String for the special need of visualization, e.g., "\\l" for DOTCFGVisualizer to keep line left-justification, "\n" for StringCFGVisualizer to simply add a new line

Returns:

the String representation of the transfer input of the block

visualizeSpecialBlockHelper

protected java.lang.String visualizeSpecialBlockHelper(SpecialBlock sbb,
                                                       java.lang.String separator)

Visualize a special block.

Parameters:

sbb - the special block

separator - the separator String to put at the end of the result

Returns:

the String representation of the special block, followed by the separator

getLastNode

protected Node getLastNode(Block bb)

Returns the last node of a block, or null if none.

Parameters:

bb - the block

Returns:

the last node of this block or null

getProcessOrder

protected java.util.IdentityHashMap<Block,java.util.List<java.lang.Integer>> getProcessOrder(ControlFlowGraph cfg)

Generate the order of processing blocks. Because a block may appears more than once in ControlFlowGraph.getDepthFirstOrderedBlocks(), the orders of each block are stored in a separate array list.

Parameters:

cfg - the current control flow graph

Returns:

an IdentityHashMap that maps from blocks to their orders

visualizeStore

public java.lang.String visualizeStore(S store)

Description copied from interface: CFGVisualizer

Delegate the visualization responsibility to the passed Store instance, which will call back to this visualizer instance for sub-components.

Specified by:

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

Parameters:

store - the store to visualize

Returns:

the String representation of the given store

visualizeNodes

protected abstract 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.

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 abstract java.lang.String addEdge(long sId,
                                            long eId,
                                            java.lang.String flowRule)

Generate the String representation of an edge.

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

visualizeGraphHeader

protected abstract java.lang.String visualizeGraphHeader()

Return the header of the generated graph.

Returns:

the String representation of the header of the control flow graph

visualizeGraphFooter

protected abstract java.lang.String visualizeGraphFooter()

Return the footer of the generated graph.

Returns:

the String representation of the footer of the control flow graph

getProcessOrderSimpleString

protected java.lang.String getProcessOrderSimpleString(java.util.List<java.lang.Integer> order)

Return the simple String of the process order of a node, e.g., "Process order: 23". When a node have multiple process orders, a sequence of numbers will be returned, e.g., "Process order: 23,25".

Parameters:

order - the list of the process order to be processed

Returns:

the String representation of the process order of the node

getNodeSimpleName

protected java.lang.String getNodeSimpleName(Node t)

Get the simple name of a node.

Parameters:

t - a node

Returns:

the node's simple name, without "Node"