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.

Field Details
- dataflow
  
  private final Dataflow<Fact, AnalysisType extends DataflowAnalysis<Fact>> dataflow
Constructor Details
- DataflowCFGPrinter
  
  public DataflowCFGPrinter(Dataflow<Fact, AnalysisType> dataflow)
  
  Constructor.
  
  Parameters:
  
  dataflow - the Dataflow object whose values should be used to annotate the printed CFG
Method Details
- edgeAnnotate
  
  public String edgeAnnotate(Edge edge)
  
  Overrides:
  
  edgeAnnotate in class CFGPrinter
- blockStartAnnotate
  
  public String blockStartAnnotate(BasicBlock bb)
  
  Overrides:
  
  blockStartAnnotate in class CFGPrinter
- blockAnnotate
  
  public String blockAnnotate(BasicBlock bb)
  
  Overrides:
  
  blockAnnotate in class CFGPrinter
- instructionAnnotate
  
  public 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, PrintStream out)
  
  Print CFG annotated with results from given dataflow analysis.
  
  Type Parameters:
  
  Fact - Dataflow fact type
  
  AnalysisType - Dataflow analysis type
  
  Parameters:
  
  dataflow - dataflow driver
  
  out - PrintStream to use

Class DataflowCFGPrinter<Fact, AnalysisType extends DataflowAnalysis<Fact>>

Field Summary