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

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,ResultType>, IMethodAnalysisEngine<UnconditionalValueDerefDataflow>

public class UnconditionalValueDerefDataflowFactory
extends AnalysisFactory<UnconditionalValueDerefDataflow>

Analysis engine to produce UnconditionalValueDerefDataflow objects for analyzed methods.

Author:

David Hovemeyer

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 edu.umd.cs.findbugs.classfile.engine.bcel.AnalysisFactory

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

Methods inherited from class java.lang.Object

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

Constructor Detail

UnconditionalValueDerefDataflowFactory

public UnconditionalValueDerefDataflowFactory()

Constructor.

Method Detail

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