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

Class ObligationDataflowFactory

java.lang.Object

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

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

All Implemented Interfaces:

IAnalysisEngine<MethodDescriptor,ResultType>, IMethodAnalysisEngine<ObligationDataflow>

public class ObligationDataflowFactory
extends AnalysisFactory<ObligationDataflow>

Analysis factory which creates instances of ObligationDataflow.

Author:

David Hovemeyer

Constructor Summary

Constructors

Constructor	Description
ObligationDataflowFactory()

Method Summary

Modifier and Type	Method	Description
ObligationDataflow	analyze(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor)	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

ObligationDataflowFactory

public ObligationDataflowFactory()

Method Detail

analyze

public ObligationDataflow analyze(IAnalysisCache analysisCache,
                                  MethodDescriptor methodDescriptor)
                           throws CheckedAnalysisException

Description copied from interface: IAnalysisEngine

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

Parameters:

analysisCache - the analysis cache

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

Returns:

the result of the analysis of the class or method

Throws:

CheckedAnalysisException