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 and Description
BackwardTypeQualifierDataflowFactory(MethodDescriptor methodDescriptor) Constructor.

Method Summary

Modifier and Type	Method and 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 edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflowFactory

getDataflow

Methods inherited from class java.lang.Object

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

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