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

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.CFGPrinter
      extended by 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.


Constructor Summary
DataflowCFGPrinter(CFG cfg, Dataflow<Fact,AnalysisType> dataflow, AnalysisType analysis)
           
 
Method Summary
 java.lang.String blockAnnotate(BasicBlock bb)
           
 java.lang.String blockStartAnnotate(BasicBlock bb)
           
 java.lang.String instructionAnnotate(org.apache.bcel.generic.InstructionHandle handle, BasicBlock bb)
           
 
Methods inherited from class edu.umd.cs.findbugs.ba.CFGPrinter
edgeAnnotate, instructionIterator, main, 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(CFG cfg,
                          Dataflow<Fact,AnalysisType> dataflow,
                          AnalysisType analysis)
Method Detail

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