Class UnconditionalValueDerefDataflowFactory

java.lang.Object

edu.umd.cs.findbugs.classfile.engine.bcel.AnalysisFactory<UnconditionalValueDerefDataflow>

edu.umd.cs.findbugs.classfile.engine.bcel.UnconditionalValueDerefDataflowFactory

All Implemented Interfaces:

IAnalysisEngine<MethodDescriptor, UnconditionalValueDerefDataflow>, IMethodAnalysisEngine<UnconditionalValueDerefDataflow>

public class UnconditionalValueDerefDataflowFactory
extends AnalysisFactory<UnconditionalValueDerefDataflow>

Analysis engine to produce UnconditionalValueDerefDataflow objects for analyzed methods.

Constructor Summary

Constructors

Constructor	Description
UnconditionalValueDerefDataflowFactory()	Constructor.

Method Summary

Modifier and Type	Method	Description
UnconditionalValueDerefDataflow	analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor)	Perform an analysis on class or method named by given descriptor.

Methods inherited from class AnalysisFactory

getAssertionMethods, getCFG, getCompactLocationNumbering, getConstantPoolGen, getDepthFirstSearch, getExceptionSetFactory, getIsNullValueDataflow, getJavaClass, getLoadedFieldSet, getMethod, getMethodGen, getReverseDepthFirstSearch, getTypeDataflow, getValueNumberDataflow, registerWith, toString

Methods inherited from class Object

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

Constructor Details

UnconditionalValueDerefDataflowFactory

public UnconditionalValueDerefDataflowFactory()

Constructor.

Method Details

analyze

public UnconditionalValueDerefDataflow analyze(IAnalysisCache analysisCache,
 MethodDescriptor descriptor)
                                        throws CheckedAnalysisException

Description copied from interface: IAnalysisEngine

Perform an analysis on class or method named by given descriptor.

Parameters:

analysisCache - the analysis cache

descriptor - the descriptor of the class or method to be analyzed

Returns:

the result of the analysis of the class or method

Throws:

CheckedAnalysisException