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.


Field Summary
private  AnalysisType analysis
           
private  Dataflow<Fact,AnalysisType> dataflow
           
 
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
 

Field Detail

dataflow

private Dataflow<Fact,AnalysisType extends AbstractDataflowAnalysis<Fact>> dataflow

analysis

private AnalysisType extends AbstractDataflowAnalysis<Fact> analysis
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