edu.umd.cs.findbugs.ba

Class DataflowCFGPrinter<Fact,AnalysisType extends DataflowAnalysis<Fact>>

java.lang.Object

edu.umd.cs.findbugs.ba.CFGPrinter

edu.umd.cs.findbugs.ba.DataflowCFGPrinter<Fact,AnalysisType>

public class DataflowCFGPrinter<Fact,AnalysisType extends DataflowAnalysis<Fact>>
extends CFGPrinter

CFGPrinter class which prints dataflow values at each basic block and instruction.

Constructor Summary

Constructors

Constructor and Description
DataflowCFGPrinter(Dataflow<Fact,AnalysisType> dataflow) Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	blockAnnotate(BasicBlock bb)
java.lang.String	blockStartAnnotate(BasicBlock bb)
java.lang.String	edgeAnnotate(Edge edge)
java.lang.String	instructionAnnotate(org.apache.bcel.generic.InstructionHandle handle, BasicBlock bb)
static <Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> void	printCFG(Dataflow<Fact,AnalysisType> dataflow, java.io.PrintStream out) Print CFG annotated with results from given dataflow analysis.

Methods inherited from class edu.umd.cs.findbugs.ba.CFGPrinter

instructionIterator, isForwards, print, setIsForwards

Methods inherited from class java.lang.Object

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

Constructor Detail

DataflowCFGPrinter

public DataflowCFGPrinter(Dataflow<Fact,AnalysisType> dataflow)

Constructor.

Parameters:

dataflow - the Dataflow object whose values should be used to annotate the printed CFG

Method Detail

edgeAnnotate

public java.lang.String edgeAnnotate(Edge edge)

Overrides:

edgeAnnotate in class CFGPrinter

blockStartAnnotate

public java.lang.String blockStartAnnotate(BasicBlock bb)

Overrides:

blockStartAnnotate in class CFGPrinter

blockAnnotate

public java.lang.String blockAnnotate(BasicBlock bb)

Overrides:

blockAnnotate in class CFGPrinter

instructionAnnotate

public java.lang.String instructionAnnotate(org.apache.bcel.generic.InstructionHandle handle,
                                   BasicBlock bb)

Overrides:

instructionAnnotate in class CFGPrinter

printCFG

public static <Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> void printCFG(Dataflow<Fact,AnalysisType> dataflow,
                                                                            java.io.PrintStream out)

Print CFG annotated with results from given dataflow analysis.

Type Parameters:

Fact - Dataflow fact type

AnalysisType - Dataflow analysis type

Parameters:

dataflow - dataflow driver

out - PrintStream to use