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.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DataflowCFGPrinter
public DataflowCFGPrinter(Dataflow<Fact,AnalysisType> dataflow)
- Constructor.
- Parameters:
dataflow
- the Dataflow object whose values should be used to annotate the printed CFG
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 typeAnalysisType
- Dataflow analysis type- Parameters:
dataflow
- dataflow driverout
- PrintStream to use
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.