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.

Field Details
- dataflowMap
  
  private final HashMap<TypeQualifierValue<?>, TypeQualifierDataflowFactory.DataflowResult<DataflowType extends TypeQualifierDataflow<AnalysisType>>> dataflowMap
- methodDescriptor
  
  private final MethodDescriptor methodDescriptor
Constructor Details
- TypeQualifierDataflowFactory
  
  public TypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)
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

Class TypeQualifierDataflowFactory<AnalysisType extends TypeQualifierDataflowAnalysis, DataflowType extends TypeQualifierDataflow<AnalysisType>>

Nested Class Summary