FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba.jsr305
Class TypeQualifierDataflowFactory<AnalysisType extends TypeQualifierDataflowAnalysis,DataflowType extends TypeQualifierDataflow<AnalysisType>>

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflowFactory<AnalysisType,DataflowType>
Direct Known Subclasses:
BackwardTypeQualifierDataflowFactory, ForwardTypeQualifierDataflowFactory

public abstract class TypeQualifierDataflowFactory<AnalysisType extends TypeQualifierDataflowAnalysis,DataflowType extends TypeQualifierDataflow<AnalysisType>>
extends java.lang.Object

Factory to create and cache TypeQualifierDataflow objects for a particular method.

Author:
David Hovemeyer

Constructor Summary
TypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)
           
 
Method Summary
protected abstract  DataflowType getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue typeQualifierValue)
           
 DataflowType getDataflow(TypeQualifierValue typeQualifierValue)
           
protected abstract  void populateDatabase(DataflowType 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
 

Constructor Detail

TypeQualifierDataflowFactory

public TypeQualifierDataflowFactory(MethodDescriptor methodDescriptor)
Method Detail

getDataflow

public DataflowType getDataflow(TypeQualifierValue typeQualifierValue)
                                                                     throws CheckedAnalysisException
Throws:
CheckedAnalysisException

getDataflow

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

populateDatabase

protected abstract void populateDatabase(DataflowType dataflow,
                                         ValueNumberDataflow vnaDataflow,
                                         XMethod xmethod,
                                         TypeQualifierValue tqv)
                                  throws CheckedAnalysisException
Throws:
CheckedAnalysisException

FindBugs™ 1.3.9

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