Package 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
-
Method Summary
Modifier and TypeMethodDescriptionedgeAnnotate
(Edge edge) instructionAnnotate
(org.apache.bcel.generic.InstructionHandle handle, BasicBlock bb) static <Fact,
AnalysisType extends BasicAbstractDataflowAnalysis<Fact>>
voidprintCFG
(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
-
Constructor Details
-
DataflowCFGPrinter
Constructor.- Parameters:
dataflow
- the Dataflow object whose values should be used to annotate the printed CFG
-
-
Method Details
-
edgeAnnotate
- Overrides:
edgeAnnotate
in classCFGPrinter
-
blockStartAnnotate
- Overrides:
blockStartAnnotate
in classCFGPrinter
-
blockAnnotate
- Overrides:
blockAnnotate
in classCFGPrinter
-
instructionAnnotate
- Overrides:
instructionAnnotate
in classCFGPrinter
-
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 typeAnalysisType
- Dataflow analysis type- Parameters:
dataflow
- dataflow driverout
- PrintStream to use
-