Package edu.umd.cs.findbugs.ba.jsr305
Class ForwardTypeQualifierDataflow
- java.lang.Object
-
- edu.umd.cs.findbugs.ba.Dataflow<TypeQualifierValueSet,AnalysisType>
-
- edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflow<ForwardTypeQualifierDataflowAnalysis>
-
- edu.umd.cs.findbugs.ba.jsr305.ForwardTypeQualifierDataflow
-
public class ForwardTypeQualifierDataflow extends TypeQualifierDataflow<ForwardTypeQualifierDataflowAnalysis>
Dataflow object for ForwardTypeQualifierDataflowAnalysis.- Author:
- David Hovemeyer
-
-
Constructor Summary
Constructors Constructor Description 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
-
-
-
-
Constructor Detail
-
ForwardTypeQualifierDataflow
public ForwardTypeQualifierDataflow(CFG cfg, ForwardTypeQualifierDataflowAnalysis analysis)
Constructor.- Parameters:
cfg
- CFG of analyzed methodanalysis
- ForwardTypeQualifierDataflowAnalysis to perform on method
-
-