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
Constructors Constructor Description BackwardTypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected 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 Detail
-
BackwardTypeQualifierDataflowFactory
public BackwardTypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)
Constructor.- Parameters:
methodDescriptor
- MethodDescriptor of the method for which we want to create BackwardTypeQualifierDataflow objects
-
-
Method Detail
-
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
-
-