Package edu.umd.cs.findbugs.ba.jsr305
Class ForwardTypeQualifierDataflowFactory
- java.lang.Object
-
- edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflowFactory<ForwardTypeQualifierDataflowAnalysis,ForwardTypeQualifierDataflow>
-
- edu.umd.cs.findbugs.ba.jsr305.ForwardTypeQualifierDataflowFactory
-
public class ForwardTypeQualifierDataflowFactory extends TypeQualifierDataflowFactory<ForwardTypeQualifierDataflowAnalysis,ForwardTypeQualifierDataflow>
Factory for producing ForwardTypeQualifierDataflow objects for various kinds of type qualifiers.- Author:
- David Hovemeyer
-
-
Constructor Summary
Constructors Constructor Description ForwardTypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected ForwardTypeQualifierDataflow
getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue)
protected void
populateDatabase(ForwardTypeQualifierDataflow dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv)
-
Methods inherited from class edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflowFactory
getDataflow
-
-
-
-
Constructor Detail
-
ForwardTypeQualifierDataflowFactory
public ForwardTypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)
Constructor.- Parameters:
methodDescriptor
- MethodDescriptor of method being analyzed
-
-
Method Detail
-
getDataflow
protected ForwardTypeQualifierDataflow getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue) throws DataflowAnalysisException
- Specified by:
getDataflow
in classTypeQualifierDataflowFactory<ForwardTypeQualifierDataflowAnalysis,ForwardTypeQualifierDataflow>
- Throws:
DataflowAnalysisException
-
populateDatabase
protected void populateDatabase(ForwardTypeQualifierDataflow dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv) throws CheckedAnalysisException
- Specified by:
populateDatabase
in classTypeQualifierDataflowFactory<ForwardTypeQualifierDataflowAnalysis,ForwardTypeQualifierDataflow>
- Throws:
CheckedAnalysisException
-
-