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 and Description
TypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)

Method Summary

Methods

Modifier and Type	Method and 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 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