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
-
-