FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba.jsr305
Class BackwardTypeQualifierDataflow

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<TypeQualifierValueSet,AnalysisType>
      extended by edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflow<BackwardTypeQualifierDataflowAnalysis>
          extended by edu.umd.cs.findbugs.ba.jsr305.BackwardTypeQualifierDataflow

public class BackwardTypeQualifierDataflow
extends TypeQualifierDataflow<BackwardTypeQualifierDataflowAnalysis>

Dataflow class for BackwardTypeQualifierDataflowAnalysis.

Author:
David Hovemeyer

Field Summary
 
Fields inherited from class edu.umd.cs.findbugs.ba.Dataflow
DEBUG
 
Constructor Summary
BackwardTypeQualifierDataflow(CFG cfg, BackwardTypeQualifierDataflowAnalysis analysis)
          Constructor.
 
Method Summary
 
Methods inherited from class edu.umd.cs.findbugs.ba.Dataflow
dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, getFactOnEdge, getNumIterations, getResultFact, getStartFact
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BackwardTypeQualifierDataflow

public BackwardTypeQualifierDataflow(CFG cfg,
                                     BackwardTypeQualifierDataflowAnalysis analysis)
Constructor.

Parameters:
cfg - CFG for analyzed method
analysis - the BackwardTypeQualifierDataflowAnalysis

FindBugs™ 1.3.9

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