edu.umd.cs.findbugs.ba.jsr305

Class TypeQualifierDataflow<AnalysisType extends TypeQualifierDataflowAnalysis>

java.lang.Object

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

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

Direct Known Subclasses:

BackwardTypeQualifierDataflow, ForwardTypeQualifierDataflow

public class TypeQualifierDataflow<AnalysisType extends TypeQualifierDataflowAnalysis>
extends Dataflow<TypeQualifierValueSet,AnalysisType>

Dataflow class for TypeQualifierDataflowAnalysis.

Author:

David Hovemeyer

Field Summary

Fields inherited from class edu.umd.cs.findbugs.ba.Dataflow

DEBUG

Constructor Summary

Constructors

Constructor and Description
TypeQualifierDataflow(CFG cfg, AnalysisType 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

TypeQualifierDataflow

public TypeQualifierDataflow(CFG cfg,
                             AnalysisType analysis)

Constructor.

Parameters:

cfg - control flow graph (CFG) of analyzed method

analysis - the TypeQualifierDataflowAnalysis