FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba
Class DataflowCFGPrinter<Fact,AnalysisType extends DataflowAnalysis<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 DataflowAnalysis<Fact>>
extends CFGPrinter

CFGPrinter class which prints dataflow values at each basic block and instruction.


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

Parameters:
dataflow - the Dataflow object whose values should be used to annotate the printed CFG
Method Detail

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 type
AnalysisType - Dataflow analysis type
Parameters:
dataflow - dataflow driver
out - PrintStream to use

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.