edu.umd.cs.findbugs.ba.jsr305

Class BackwardTypeQualifierDataflow

java.lang.Object

edu.umd.cs.findbugs.ba.Dataflow<TypeQualifierValueSet,AnalysisType>

edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflow<BackwardTypeQualifierDataflowAnalysis>

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

Constructors

Constructor and Description
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