FindBugs™ 1.3.9

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

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflowFactory<ForwardTypeQualifierDataflowAnalysis,ForwardTypeQualifierDataflow>
      extended by 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
ForwardTypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)
          Constructor.
 
Method Summary
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 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

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.