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.

Author:

David Hovemeyer

Constructor Summary

Constructors

Constructor	Description
TypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

TypeQualifierDataflowFactory

public TypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)

Method Details

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