org.checkerframework.dataflow.cfg

Interface CFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>>

Type Parameters:

V - the abstract value type to be tracked by the analysis

S - the store type used in the analysis

T - the transfer function type that is used to approximate runtime behavior

All Known Implementing Classes:

AbstractCFGVisualizer, DOTCFGVisualizer, StringCFGVisualizer

public interface CFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>>

Perform some visualization on a control flow graph. The particular operations depend on the implementation.

Method Summary

Modifier and Type	Method and Description
String	getSeparator() Returns the separator for lines within a node's representation.
void	init(Map<String,Object> args) Initialization method guaranteed to be called once before the first invocation of visualize(org.checkerframework.dataflow.cfg.ControlFlowGraph, org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.analysis.Analysis<V, S, T>).
void	shutdown() Shutdown method called once from the shutdown hook of the BaseTypeChecker.
@Nullable Map<String,Object>	visualize(ControlFlowGraph cfg, Block entry, @Nullable Analysis<V,S,T> analysis) Output a visualization representing the control flow graph starting at entry.
String	visualizeBlock(Block bb, @Nullable Analysis<V,S,T> analysis) Visualize a block based on the analysis.
String	visualizeBlockNode(Node t, @Nullable Analysis<V,S,T> analysis) Visualize a Node based on the analysis.
String	visualizeBlockTransferInputAfter(Block bb, Analysis<V,S,T> analysis) Visualize the transferInput after a Block based on the analysis.
String	visualizeBlockTransferInputBefore(Block bb, Analysis<V,S,T> analysis) Visualize the transferInput before a Block based on the analysis.
String	visualizeConditionalBlock(ConditionalBlock cbb) Visualize a ConditionalBlock.
String	visualizeSpecialBlock(SpecialBlock sbb) Visualize a SpecialBlock.
String	visualizeStore(S store) Delegate the visualization responsibility to the passed Store instance, which will call back to this visualizer instance for sub-components.
String	visualizeStoreArrayVal(FlowExpressions.ArrayAccess arrayValue, V value) Called by CFAbstractStore#internalVisualize() to visualize the value of one array collected by this Store.
String	visualizeStoreClassVals(FlowExpressions.ClassName className, V value) Called by CFAbstractStore#internalVisualize() to visualize the value of class names collected by this Store.
String	visualizeStoreFieldVal(FlowExpressions.FieldAccess fieldAccess, V value) Called by CFAbstractStore#internalVisualize() to visualize the value of one field collected by this Store.
String	visualizeStoreKeyVal(String keyName, Object value) Called by CFAbstractStore#internalVisualize() to visualize the specific information collected according to the specific kind of Store.
String	visualizeStoreLocalVar(FlowExpressions.LocalVariable localVar, V value) Called by CFAbstractStore#internalVisualize() to visualize a local variable.
String	visualizeStoreMethodVals(FlowExpressions.MethodCall methodCall, V value) Called by CFAbstractStore#internalVisualize() to visualize the value of pure method calls collected by this Store.
String	visualizeStoreThisVal(V value) Called by CFAbstractStore#internalVisualize() to visualize the value of the current object this in this Store.

Method Detail

init

void init(Map<String,Object> args)

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

Parameters:

args - implementation-dependent options

getSeparator

String getSeparator()

Returns the separator for lines within a node's representation.

Returns:

the separator for lines within a node's representation

visualize

@Nullable Map<String,Object> visualize(ControlFlowGraph cfg,
                                       Block entry,
                                       @Nullable Analysis<V,S,T> analysis)

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)

visualizeStore

String visualizeStore(S store)

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

Parameters:

store - the store to visualize

Returns:

the String representation of the given store

visualizeStoreLocalVar

String visualizeStoreLocalVar(FlowExpressions.LocalVariable localVar,
                              V value)

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

visualizeStoreThisVal

String visualizeStoreThisVal(V value)

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

visualizeStoreFieldVal

String visualizeStoreFieldVal(FlowExpressions.FieldAccess fieldAccess,
                              V value)

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

Parameters:

fieldAccess - the field

value - the value of the field

Returns:

the String representation of the field

visualizeStoreArrayVal

String visualizeStoreArrayVal(FlowExpressions.ArrayAccess arrayValue,
                              V value)

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

Parameters:

arrayValue - the array

value - the value of the array

Returns:

the String representation of the array

visualizeStoreMethodVals

String visualizeStoreMethodVals(FlowExpressions.MethodCall methodCall,
                                V value)

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

String visualizeStoreClassVals(FlowExpressions.ClassName className,
                               V value)

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

String visualizeStoreKeyVal(String keyName,
                            Object value)

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

visualizeBlock

String visualizeBlock(Block bb,
                      @Nullable Analysis<V,S,T> analysis)

Visualize a block based on the analysis.

Parameters:

bb - the block

analysis - the current analysis

Returns:

the String representation of the given block

visualizeSpecialBlock

String visualizeSpecialBlock(SpecialBlock sbb)

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

visualizeConditionalBlock

String visualizeConditionalBlock(ConditionalBlock cbb)

Visualize a ConditionalBlock.

Parameters:

cbb - the conditional block

Returns:

the String representation of the conditional block

visualizeBlockTransferInputBefore

String visualizeBlockTransferInputBefore(Block bb,
                                         Analysis<V,S,T> analysis)

Visualize the transferInput before a Block based on the analysis.

Parameters:

bb - the block

analysis - the current analysis

Returns:

the String representation of the transferInput before the given block

visualizeBlockTransferInputAfter

String visualizeBlockTransferInputAfter(Block bb,
                                        Analysis<V,S,T> analysis)

Visualize the transferInput after a Block based on the analysis.

Parameters:

bb - the block

analysis - the current analysis

Returns:

the String representation of the transferInput after the given block

visualizeBlockNode

String visualizeBlockNode(Node t,
                          @Nullable Analysis<V,S,T> analysis)

Visualize a Node based on the analysis.

Parameters:

t - the node

analysis - the current analysis

Returns:

the String representation of the given node

shutdown

void shutdown()

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