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

Class ForwardTypeQualifierDataflowFactory

java.lang.Object

edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflowFactory<ForwardTypeQualifierDataflowAnalysis,ForwardTypeQualifierDataflow>

edu.umd.cs.findbugs.ba.jsr305.ForwardTypeQualifierDataflowFactory

public class ForwardTypeQualifierDataflowFactory
extends TypeQualifierDataflowFactory<ForwardTypeQualifierDataflowAnalysis,ForwardTypeQualifierDataflow>

Factory for producing ForwardTypeQualifierDataflow objects for various kinds of type qualifiers.

Author:

David Hovemeyer

Constructor Summary

Constructors

Constructor	Description
ForwardTypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)	Constructor.

Method Summary

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

ForwardTypeQualifierDataflowFactory

public ForwardTypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)

Constructor.

Parameters:

methodDescriptor - MethodDescriptor of method being analyzed

Method Detail

getDataflow

protected ForwardTypeQualifierDataflow getDataflow(DepthFirstSearch dfs,
                                                   XMethod xmethod,
                                                   CFG cfg,
                                                   ValueNumberDataflow vnaDataflow,
                                                   org.apache.bcel.generic.ConstantPoolGen cpg,
                                                   IAnalysisCache analysisCache,
                                                   MethodDescriptor methodDescriptor,
                                                   TypeQualifierValue<?> typeQualifierValue)
                                            throws DataflowAnalysisException

Specified by:

getDataflow in class TypeQualifierDataflowFactory<ForwardTypeQualifierDataflowAnalysis,ForwardTypeQualifierDataflow>

Throws:

DataflowAnalysisException

populateDatabase

protected void populateDatabase(ForwardTypeQualifierDataflow dataflow,
                                ValueNumberDataflow vnaDataflow,
                                XMethod xmethod,
                                TypeQualifierValue<?> tqv)
                         throws CheckedAnalysisException

Specified by:

populateDatabase in class TypeQualifierDataflowFactory<ForwardTypeQualifierDataflowAnalysis,ForwardTypeQualifierDataflow>

Throws:

CheckedAnalysisException