Package edu.umd.cs.findbugs.ba.jsr305
Class BackwardTypeQualifierDataflowFactory
java.lang.Object
edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflowFactory<BackwardTypeQualifierDataflowAnalysis,BackwardTypeQualifierDataflow>
edu.umd.cs.findbugs.ba.jsr305.BackwardTypeQualifierDataflowFactory
public class BackwardTypeQualifierDataflowFactory
extends TypeQualifierDataflowFactory<BackwardTypeQualifierDataflowAnalysis,BackwardTypeQualifierDataflow>
Factory for BackwardTypeQualifierDataflow objects for given type qualifier
values.
- Author:
- David Hovemeyer
-
Constructor Summary
ConstructorsConstructorDescriptionBackwardTypeQualifierDataflowFactory
(MethodDescriptor methodDescriptor) Constructor. -
Method Summary
Modifier and TypeMethodDescriptionprotected BackwardTypeQualifierDataflow
getDataflow
(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue) protected void
populateDatabase
(BackwardTypeQualifierDataflow dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv) Methods inherited from class edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflowFactory
getDataflow
-
Constructor Details
-
BackwardTypeQualifierDataflowFactory
Constructor.- Parameters:
methodDescriptor
- MethodDescriptor of the method for which we want to create BackwardTypeQualifierDataflow objects
-
-
Method Details
-
getDataflow
protected BackwardTypeQualifierDataflow getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue) throws CheckedAnalysisException - Specified by:
getDataflow
in classTypeQualifierDataflowFactory<BackwardTypeQualifierDataflowAnalysis,
BackwardTypeQualifierDataflow> - Throws:
CheckedAnalysisException
-
populateDatabase
protected void populateDatabase(BackwardTypeQualifierDataflow dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv) throws CheckedAnalysisException - Specified by:
populateDatabase
in classTypeQualifierDataflowFactory<BackwardTypeQualifierDataflowAnalysis,
BackwardTypeQualifierDataflow> - Throws:
CheckedAnalysisException
-