edu.umd.cs.findbugs.ba
Class DataflowCFGPrinter<Fact,AnalysisType extends AbstractDataflowAnalysis<Fact>>
java.lang.Object
edu.umd.cs.findbugs.ba.CFGPrinter
edu.umd.cs.findbugs.ba.DataflowCFGPrinter<Fact,AnalysisType>
public class DataflowCFGPrinter<Fact,AnalysisType extends AbstractDataflowAnalysis<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 |
dataflow
private Dataflow<Fact,AnalysisType extends AbstractDataflowAnalysis<Fact>> dataflow
analysis
private AnalysisType extends AbstractDataflowAnalysis<Fact> analysis
DataflowCFGPrinter
public DataflowCFGPrinter(CFG cfg,
Dataflow<Fact,AnalysisType> dataflow,
AnalysisType analysis)
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