Package edu.umd.cs.findbugs.ba.jsr305
Class BackwardTypeQualifierDataflow
java.lang.Object
edu.umd.cs.findbugs.ba.Dataflow<TypeQualifierValueSet,BackwardTypeQualifierDataflowAnalysis>
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.
-
Field Summary
-
Constructor Summary
ConstructorsConstructorDescriptionConstructor. -
Method Summary
Methods inherited from class edu.umd.cs.findbugs.ba.Dataflow
dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, getFactOnEdge, getNumIterations, getResultFact, getStartFact
-
Constructor Details
-
BackwardTypeQualifierDataflow
Constructor.- Parameters:
cfg
- CFG for analyzed methodanalysis
- the BackwardTypeQualifierDataflowAnalysis
-