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 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 Details

ForwardTypeQualifierDataflowFactory

public ForwardTypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)

Constructor.

Parameters:

methodDescriptor - MethodDescriptor of method being analyzed

Method Details

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