public abstract class AnalysisFactory<Analysis> extends java.lang.Object implements IMethodAnalysisEngine<Analysis>
Constructor and Description |
---|
AnalysisFactory(java.lang.String analysisName,
java.lang.Class<Analysis> analysisClass)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
protected AssertionMethods |
getAssertionMethods(IAnalysisCache analysisCache,
ClassDescriptor classDescriptor) |
protected CFG |
getCFG(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor) |
protected CompactLocationNumbering |
getCompactLocationNumbering(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor) |
protected org.apache.bcel.generic.ConstantPoolGen |
getConstantPoolGen(IAnalysisCache analysisCache,
ClassDescriptor classDescriptor) |
protected DepthFirstSearch |
getDepthFirstSearch(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor) |
protected ExceptionSetFactory |
getExceptionSetFactory(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor) |
protected IsNullValueDataflow |
getIsNullValueDataflow(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor) |
protected org.apache.bcel.classfile.JavaClass |
getJavaClass(IAnalysisCache analysisCache,
ClassDescriptor classDescriptor) |
protected LoadedFieldSet |
getLoadedFieldSet(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor) |
protected org.apache.bcel.classfile.Method |
getMethod(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor) |
protected org.apache.bcel.generic.MethodGen |
getMethodGen(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor) |
protected ReverseDepthFirstSearch |
getReverseDepthFirstSearch(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor) |
protected TypeDataflow |
getTypeDataflow(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor) |
protected ValueNumberDataflow |
getValueNumberDataflow(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor) |
void |
registerWith(IAnalysisCache analysisCache)
Register the analysis engine with given analysis cache.
|
java.lang.String |
toString() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
analyze
public AnalysisFactory(java.lang.String analysisName, java.lang.Class<Analysis> analysisClass)
analysisName
- name of the analysis factory: for diagnostics/debuggingpublic java.lang.String toString()
toString
in class java.lang.Object
public void registerWith(IAnalysisCache analysisCache)
IAnalysisEngine
registerWith
in interface IAnalysisEngine<MethodDescriptor,Analysis>
analysisCache
- the analysis cacheprotected CFG getCFG(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) throws CheckedAnalysisException
CheckedAnalysisException
protected DepthFirstSearch getDepthFirstSearch(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) throws CheckedAnalysisException
CheckedAnalysisException
protected org.apache.bcel.generic.ConstantPoolGen getConstantPoolGen(IAnalysisCache analysisCache, ClassDescriptor classDescriptor) throws CheckedAnalysisException
CheckedAnalysisException
protected org.apache.bcel.generic.MethodGen getMethodGen(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) throws CheckedAnalysisException
CheckedAnalysisException
protected CompactLocationNumbering getCompactLocationNumbering(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) throws CheckedAnalysisException
CheckedAnalysisException
protected ValueNumberDataflow getValueNumberDataflow(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) throws CheckedAnalysisException
CheckedAnalysisException
protected AssertionMethods getAssertionMethods(IAnalysisCache analysisCache, ClassDescriptor classDescriptor) throws CheckedAnalysisException
CheckedAnalysisException
protected org.apache.bcel.classfile.JavaClass getJavaClass(IAnalysisCache analysisCache, ClassDescriptor classDescriptor) throws CheckedAnalysisException
CheckedAnalysisException
protected org.apache.bcel.classfile.Method getMethod(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) throws CheckedAnalysisException
CheckedAnalysisException
protected ReverseDepthFirstSearch getReverseDepthFirstSearch(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) throws CheckedAnalysisException
CheckedAnalysisException
protected ExceptionSetFactory getExceptionSetFactory(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) throws CheckedAnalysisException
CheckedAnalysisException
protected IsNullValueDataflow getIsNullValueDataflow(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) throws CheckedAnalysisException
CheckedAnalysisException
protected TypeDataflow getTypeDataflow(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) throws CheckedAnalysisException
CheckedAnalysisException
protected LoadedFieldSet getLoadedFieldSet(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) throws CheckedAnalysisException
CheckedAnalysisException
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.