Package edu.umd.cs.findbugs.ba.jsr305
Class TypeQualifierDataflowFactory<AnalysisType extends TypeQualifierDataflowAnalysis,DataflowType extends TypeQualifierDataflow<AnalysisType>>
java.lang.Object
edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflowFactory<AnalysisType,DataflowType>
- Direct Known Subclasses:
BackwardTypeQualifierDataflowFactory
,ForwardTypeQualifierDataflowFactory
public abstract class TypeQualifierDataflowFactory<AnalysisType extends TypeQualifierDataflowAnalysis,DataflowType extends TypeQualifierDataflow<AnalysisType>>
extends Object
Factory to create and cache TypeQualifierDataflow objects for a particular
method.
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionprivate static class
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate final HashMap
<TypeQualifierValue<?>, TypeQualifierDataflowFactory.DataflowResult<DataflowType>> private final MethodDescriptor
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptioncompute
(TypeQualifierValue<?> typeQualifierValue) protected abstract DataflowType
getDataflow
(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor1, TypeQualifierValue<?> typeQualifierValue) getDataflow
(TypeQualifierValue<?> typeQualifierValue) protected abstract void
populateDatabase
(DataflowType dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv)
-
Field Details
-
dataflowMap
private final HashMap<TypeQualifierValue<?>,TypeQualifierDataflowFactory.DataflowResult<DataflowType extends TypeQualifierDataflow<AnalysisType>>> dataflowMap -
methodDescriptor
-
-
Constructor Details
-
TypeQualifierDataflowFactory
-
-
Method Details
-
getDataflow
public DataflowType getDataflow(TypeQualifierValue<?> typeQualifierValue) throws CheckedAnalysisException - Throws:
CheckedAnalysisException
-
compute
private TypeQualifierDataflowFactory.DataflowResult<DataflowType> compute(TypeQualifierValue<?> typeQualifierValue) -
getDataflow
protected abstract DataflowType getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor1, TypeQualifierValue<?> typeQualifierValue) throws CheckedAnalysisException - Throws:
CheckedAnalysisException
-
populateDatabase
protected abstract void populateDatabase(DataflowType dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv) throws CheckedAnalysisException - Throws:
CheckedAnalysisException
-