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 java.lang.Object
Factory to create and cache TypeQualifierDataflow objects for a particular method.- Author:
- David Hovemeyer
-
-
Constructor Summary
Constructors Constructor Description TypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description protected abstract DataflowType
getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor1, TypeQualifierValue<?> typeQualifierValue)
DataflowType
getDataflow(TypeQualifierValue<?> typeQualifierValue)
protected abstract void
populateDatabase(DataflowType dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv)
-
-
-
Constructor Detail
-
TypeQualifierDataflowFactory
public TypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)
-
-
Method Detail
-
getDataflow
public DataflowType getDataflow(TypeQualifierValue<?> typeQualifierValue) throws CheckedAnalysisException
- Throws:
CheckedAnalysisException
-
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
-
-