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