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, ObligationDataflow>, IMethodAnalysisEngine<ObligationDataflow>

public class ObligationDataflowFactory
extends AnalysisFactory<ObligationDataflow>

Analysis factory which creates instances of ObligationDataflow.

Field Summary

Fields

Modifier and Type	Field	Description
private static final boolean	DEBUG_PRINTCFG

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 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

Field Details

DEBUG_PRINTCFG

private static final boolean DEBUG_PRINTCFG

Constructor Details

ObligationDataflowFactory

public ObligationDataflowFactory()

Method Details

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