edu.umd.cs.findbugs.classfile.engine.bcel
Class AnalysisFactory<Analysis>
java.lang.Object
edu.umd.cs.findbugs.classfile.engine.bcel.AnalysisFactory<Analysis>
- All Implemented Interfaces:
- IAnalysisEngine<MethodDescriptor,Analysis>, IMethodAnalysisEngine<Analysis>
- Direct Known Subclasses:
- BackwardTypeQualifierDataflowFactoryFactory, BlockTypeAnalysisFactory, CallListDataflowFactory, CFGFactory, CompactLocationNumberingFactory, ConstantDataflowFactory, DefinitelyNullSetDataflowFactory, DepthFirstSearchFactory, DominatorsAnalysisFactory, ExceptionSetFactoryFactory, ForwardTypeQualifierDataflowFactoryFactory, IsNullValueDataflowFactory, LiveLocalStoreDataflowFactory, LoadDataflowFactory, LoadedFieldSetFactory, LockCheckerFactory, LockDataflowFactory, MethodBytecodeSetFactory, MethodFactory, MethodGenFactory, NonExceptionPostdominatorsAnalysisFactory, NonImplicitExceptionPostDominatorsAnalysisFactory, ObligationDataflowFactory, OpcodeStack.JumpInfoFactory, ParameterSignatureListFactory, ReturnPathDataflowFactory, ReturnPathTypeDataflowFactory, ReverseDepthFirstSearchFactory, StoreDataflowFactory, TypeDataflowFactory, UnconditionalValueDerefDataflowFactory, UnpackedCodeFactory, UsagesRequiringNonNullValuesFactory, ValueNumberDataflowFactory
public abstract class AnalysisFactory<Analysis>
- extends java.lang.Object
- implements IMethodAnalysisEngine<Analysis>
Abstract factory class for creating analysis objects.
Constructor Summary |
AnalysisFactory(java.lang.String analysisName,
java.lang.Class<Analysis> analysisClass)
Constructor. |
Method Summary |
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()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
AnalysisFactory
public AnalysisFactory(java.lang.String analysisName,
java.lang.Class<Analysis> analysisClass)
- Constructor.
- Parameters:
analysisName
- name of the analysis factory: for diagnostics/debugging
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
registerWith
public void registerWith(IAnalysisCache analysisCache)
- Description copied from interface:
IAnalysisEngine
- Register the analysis engine with given analysis cache.
- Specified by:
registerWith
in interface IAnalysisEngine<MethodDescriptor,Analysis>
- Parameters:
analysisCache
- the analysis cache
getCFG
protected CFG getCFG(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor)
throws CheckedAnalysisException
- Throws:
CheckedAnalysisException
getDepthFirstSearch
protected DepthFirstSearch getDepthFirstSearch(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor)
throws CheckedAnalysisException
- Throws:
CheckedAnalysisException
getConstantPoolGen
protected org.apache.bcel.generic.ConstantPoolGen getConstantPoolGen(IAnalysisCache analysisCache,
ClassDescriptor classDescriptor)
throws CheckedAnalysisException
- Throws:
CheckedAnalysisException
getMethodGen
protected org.apache.bcel.generic.MethodGen getMethodGen(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor)
throws CheckedAnalysisException
- Throws:
CheckedAnalysisException
getCompactLocationNumbering
protected CompactLocationNumbering getCompactLocationNumbering(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor)
throws CheckedAnalysisException
- Throws:
CheckedAnalysisException
getValueNumberDataflow
protected ValueNumberDataflow getValueNumberDataflow(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor)
throws CheckedAnalysisException
- Throws:
CheckedAnalysisException
getAssertionMethods
protected AssertionMethods getAssertionMethods(IAnalysisCache analysisCache,
ClassDescriptor classDescriptor)
throws CheckedAnalysisException
- Throws:
CheckedAnalysisException
getJavaClass
protected org.apache.bcel.classfile.JavaClass getJavaClass(IAnalysisCache analysisCache,
ClassDescriptor classDescriptor)
throws CheckedAnalysisException
- Throws:
CheckedAnalysisException
getMethod
protected org.apache.bcel.classfile.Method getMethod(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor)
throws CheckedAnalysisException
- Throws:
CheckedAnalysisException
getReverseDepthFirstSearch
protected ReverseDepthFirstSearch getReverseDepthFirstSearch(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor)
throws CheckedAnalysisException
- Throws:
CheckedAnalysisException
getExceptionSetFactory
protected ExceptionSetFactory getExceptionSetFactory(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor)
throws CheckedAnalysisException
- Throws:
CheckedAnalysisException
getIsNullValueDataflow
protected IsNullValueDataflow getIsNullValueDataflow(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor)
throws CheckedAnalysisException
- Throws:
CheckedAnalysisException
getTypeDataflow
protected TypeDataflow getTypeDataflow(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor)
throws CheckedAnalysisException
- Throws:
CheckedAnalysisException
getLoadedFieldSet
protected LoadedFieldSet getLoadedFieldSet(IAnalysisCache analysisCache,
MethodDescriptor methodDescriptor)
throws CheckedAnalysisException
- Throws:
CheckedAnalysisException
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.