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
String	blockAnnotate(BasicBlock bb)
String	blockStartAnnotate(BasicBlock bb)
String	edgeAnnotate(Edge edge)
String	instructionAnnotate(org.apache.bcel.generic.InstructionHandle handle, BasicBlock bb)
static <Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> void	printCFG(Dataflow<Fact,AnalysisType> dataflow, 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 String edgeAnnotate(Edge edge)

Overrides:

edgeAnnotate in class CFGPrinter

blockStartAnnotate

public String blockStartAnnotate(BasicBlock bb)

Overrides:

blockStartAnnotate in class CFGPrinter

blockAnnotate

public String blockAnnotate(BasicBlock bb)

Overrides:

blockAnnotate in class CFGPrinter

instructionAnnotate

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