FindBugs™ 1.3.9

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

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

public class ForwardTypeQualifierDataflow
extends TypeQualifierDataflow<ForwardTypeQualifierDataflowAnalysis>

Dataflow object for ForwardTypeQualifierDataflowAnalysis.

Author:
David Hovemeyer

Field Summary
 
Fields inherited from class edu.umd.cs.findbugs.ba.Dataflow
DEBUG
 
Constructor Summary
ForwardTypeQualifierDataflow(CFG cfg, ForwardTypeQualifierDataflowAnalysis 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

ForwardTypeQualifierDataflow

public ForwardTypeQualifierDataflow(CFG cfg,
                                    ForwardTypeQualifierDataflowAnalysis analysis)
Constructor.

Parameters:
cfg - CFG of analyzed method
analysis - ForwardTypeQualifierDataflowAnalysis to perform on method

FindBugs™ 1.3.9

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