Package edu.umd.cs.findbugs.ba.jsr305

Class BackwardTypeQualifierDataflowFactory

java.lang.Object

edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflowFactory<BackwardTypeQualifierDataflowAnalysis,BackwardTypeQualifierDataflow>

edu.umd.cs.findbugs.ba.jsr305.BackwardTypeQualifierDataflowFactory

public class BackwardTypeQualifierDataflowFactory
extends TypeQualifierDataflowFactory<BackwardTypeQualifierDataflowAnalysis,BackwardTypeQualifierDataflow>

Factory for BackwardTypeQualifierDataflow objects for given type qualifier values.

Author:

David Hovemeyer

Constructor Summary

Constructors

Constructor	Description
BackwardTypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)	Constructor.

Method Summary

Modifier and Type	Method	Description
protected BackwardTypeQualifierDataflow	getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue typeQualifierValue)
protected void	populateDatabase(BackwardTypeQualifierDataflow 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

Methods inherited from class edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflowFactory

getDataflow

Constructor Detail

BackwardTypeQualifierDataflowFactory

public BackwardTypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)

Constructor.

Parameters:

methodDescriptor - MethodDescriptor of the method for which we want to create BackwardTypeQualifierDataflow objects

Method Detail

getDataflow

protected BackwardTypeQualifierDataflow getDataflow(DepthFirstSearch dfs,
                                                    XMethod xmethod,
                                                    CFG cfg,
                                                    ValueNumberDataflow vnaDataflow,
                                                    org.apache.bcel.generic.ConstantPoolGen cpg,
                                                    IAnalysisCache analysisCache,
                                                    MethodDescriptor methodDescriptor,
                                                    TypeQualifierValue typeQualifierValue)
                                             throws CheckedAnalysisException

Specified by:

getDataflow in class TypeQualifierDataflowFactory<BackwardTypeQualifierDataflowAnalysis,BackwardTypeQualifierDataflow>

Throws:

CheckedAnalysisException

populateDatabase

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

Specified by:

populateDatabase in class TypeQualifierDataflowFactory<BackwardTypeQualifierDataflowAnalysis,BackwardTypeQualifierDataflow>

Throws:

CheckedAnalysisException