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 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 methodDescriptor, 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 methodDescriptor,
                       TypeQualifierValue typeQualifierValue)
                                                                                 throws CheckedAnalysisException

Throws:

CheckedAnalysisException

populateDatabase

protected abstract void populateDatabase(DataflowType dataflow,
                    ValueNumberDataflow vnaDataflow,
                    XMethod xmethod,
                    TypeQualifierValue tqv)
                                  throws CheckedAnalysisException

Throws:

CheckedAnalysisException