Package 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
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class edu.umd.cs.findbugs.ba.Dataflow
dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, getFactOnEdge, getNumIterations, getResultFact, getStartFact
-
Constructor Details
-
TypeQualifierDataflow
Constructor.- Parameters:
cfg
- control flow graph (CFG) of analyzed methodanalysis
- the TypeQualifierDataflowAnalysis
-