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.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description private static class
TypeQualifierDataflowFactory.DataflowResult<DataflowType>
-
Field Summary
Fields Modifier and Type Field Description private java.util.HashMap<TypeQualifierValue<?>,TypeQualifierDataflowFactory.DataflowResult<DataflowType>>
dataflowMap
private MethodDescriptor
methodDescriptor
-
Constructor Summary
Constructors Constructor Description TypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description private TypeQualifierDataflowFactory.DataflowResult<DataflowType>
compute(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)
DataflowType
getDataflow(TypeQualifierValue<?> typeQualifierValue)
protected abstract void
populateDatabase(DataflowType dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv)
-
-
-
Field Detail
-
dataflowMap
private final java.util.HashMap<TypeQualifierValue<?>,TypeQualifierDataflowFactory.DataflowResult<DataflowType extends TypeQualifierDataflow<AnalysisType>>> dataflowMap
-
methodDescriptor
private final MethodDescriptor methodDescriptor
-
-
Constructor Detail
-
TypeQualifierDataflowFactory
public TypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)
-
-
Method Detail
-
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
-
-