|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.ba.ClassContext
public class ClassContext
A ClassContext caches all of the auxiliary objects used to analyze the methods of a class. That way, these objects don't need to be created over and over again.
Field Summary | |
---|---|
static boolean |
DEBUG
|
Constructor Summary | |
---|---|
ClassContext(org.apache.bcel.classfile.JavaClass jclass,
AnalysisContext analysisContext)
Constructor. |
Method Summary | |
---|---|
AnalysisContext |
getAnalysisContext()
Get the AnalysisContext. |
AssertionMethods |
getAssertionMethods()
Get AssertionMethods for class. |
AssignedFieldMap |
getAssignedFieldMap()
Get the assigned field map for the class. |
Dataflow<BlockType,BlockTypeAnalysis> |
getBlockTypeDataflow(org.apache.bcel.classfile.Method method)
Get BlockType dataflow for given method. |
java.util.BitSet |
getBytecodeSet(org.apache.bcel.classfile.Method method)
Get a BitSet representing the bytecodes that are used in the given method. |
CallListDataflow |
getCallListDataflow(org.apache.bcel.classfile.Method method)
Get CallListDataflow for method. |
CFG |
getCFG(org.apache.bcel.classfile.Method method)
Get a CFG for given method. |
ConstantDataflow |
getConstantDataflow(org.apache.bcel.classfile.Method method)
Get ConstantDataflow for method. |
org.apache.bcel.generic.ConstantPoolGen |
getConstantPoolGen()
Get the ConstantPoolGen used to create the MethodGens for this class. |
DepthFirstSearch |
getDepthFirstSearch(org.apache.bcel.classfile.Method method)
Get a DepthFirstSearch for given method. |
ExceptionSetFactory |
getExceptionSetFactory(org.apache.bcel.classfile.Method method)
Get ExceptionSetFactory for given method. |
IsNullValueDataflow |
getIsNullValueDataflow(org.apache.bcel.classfile.Method method)
Get an IsNullValueDataflow for given method. |
org.apache.bcel.classfile.JavaClass |
getJavaClass()
Get the JavaClass. |
LiveLocalStoreDataflow |
getLiveLocalStoreDataflow(org.apache.bcel.classfile.Method method)
Get LiveLocalStoreAnalysis dataflow for given method. |
LoadDataflow |
getLoadDataflow(org.apache.bcel.classfile.Method method)
Get load dataflow. |
LoadedFieldSet |
getLoadedFieldSet(org.apache.bcel.classfile.Method method)
Get the set of fields loaded by given method. |
LockChecker |
getLockChecker(org.apache.bcel.classfile.Method method)
Get LockChecker for method. |
LockDataflow |
getLockDataflow(org.apache.bcel.classfile.Method method)
Get dataflow for LockAnalysis for given method. |
RepositoryLookupFailureCallback |
getLookupFailureCallback()
Get the RepositoryLookupFailureCallback. |
org.apache.bcel.classfile.Method |
getMethod(org.apache.bcel.generic.MethodGen methodGen)
Look up the Method represented by given MethodGen. |
org.apache.bcel.generic.MethodGen |
getMethodGen(org.apache.bcel.classfile.Method method)
Get a MethodGen object for given method. |
DominatorsAnalysis |
getNonExceptionDominatorsAnalysis(org.apache.bcel.classfile.Method method)
Get DominatorsAnalysis for given method, where exception edges are ignored. |
PostDominatorsAnalysis |
getNonExceptionPostDominatorsAnalysis(org.apache.bcel.classfile.Method method)
Get PostDominatorsAnalysis for given method, where exception edges are ignored. |
PostDominatorsAnalysis |
getNonImplicitExceptionDominatorsAnalysis(org.apache.bcel.classfile.Method method)
Get DominatorsAnalysis for given method, where implicit exception edges are ignored. |
short[] |
getOffsetToOpcodeMap(org.apache.bcel.classfile.Method method)
Get array mapping bytecode offsets to opcodes for given method. |
java.lang.String[] |
getParameterSignatureList(org.apache.bcel.classfile.Method method)
Get array of type signatures of parameters for given method. |
CFG |
getRawCFG(org.apache.bcel.classfile.Method method)
Get a "raw" CFG for given method. |
ReturnPathDataflow |
getReturnPathDataflow(org.apache.bcel.classfile.Method method)
Get ReturnPathDataflow for method. |
ReverseDepthFirstSearch |
getReverseDepthFirstSearch(org.apache.bcel.classfile.Method method)
Get a ReverseDepthFirstSearch for given method. |
StoreDataflow |
getStoreDataflow(org.apache.bcel.classfile.Method method)
Get store dataflow. |
TypeDataflow |
getTypeDataflow(org.apache.bcel.classfile.Method method)
Get a TypeDataflow for given method. |
UnconditionalDerefDataflow |
getUnconditionalDerefDataflow(org.apache.bcel.classfile.Method method)
Get the UnconditionalDerefDataflow for a method. |
ValueNumberDataflow |
getValueNumberDataflow(org.apache.bcel.classfile.Method method)
Get a ValueNumberDataflow for given method. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final boolean DEBUG
Constructor Detail |
---|
public ClassContext(org.apache.bcel.classfile.JavaClass jclass, AnalysisContext analysisContext)
jclass
- the JavaClassMethod Detail |
---|
public org.apache.bcel.classfile.JavaClass getJavaClass()
public org.apache.bcel.classfile.Method getMethod(org.apache.bcel.generic.MethodGen methodGen)
methodGen
- a MethodGen
public AnalysisContext getAnalysisContext()
public RepositoryLookupFailureCallback getLookupFailureCallback()
@CheckForNull public org.apache.bcel.generic.MethodGen getMethodGen(org.apache.bcel.classfile.Method method)
method
- the method
public CFG getRawCFG(org.apache.bcel.classfile.Method method) throws CFGBuilderException
method
- the method
CFGBuilderException
public CFG getCFG(org.apache.bcel.classfile.Method method) throws CFGBuilderException
method
- the method
CFGBuilderException
- if a CFG cannot be constructed for the method@NonNull public org.apache.bcel.generic.ConstantPoolGen getConstantPoolGen()
public ValueNumberDataflow getValueNumberDataflow(org.apache.bcel.classfile.Method method) throws DataflowAnalysisException, CFGBuilderException
method
- the method
DataflowAnalysisException
CFGBuilderException
public IsNullValueDataflow getIsNullValueDataflow(org.apache.bcel.classfile.Method method) throws DataflowAnalysisException, CFGBuilderException
method
- the method
DataflowAnalysisException
CFGBuilderException
public TypeDataflow getTypeDataflow(org.apache.bcel.classfile.Method method) throws DataflowAnalysisException, CFGBuilderException
method
- the method
DataflowAnalysisException
CFGBuilderException
public DepthFirstSearch getDepthFirstSearch(org.apache.bcel.classfile.Method method) throws CFGBuilderException
method
- the method
CFGBuilderException
public ReverseDepthFirstSearch getReverseDepthFirstSearch(org.apache.bcel.classfile.Method method) throws CFGBuilderException
method
- the method
CFGBuilderException
@CheckForNull public java.util.BitSet getBytecodeSet(org.apache.bcel.classfile.Method method)
method
- the method
public short[] getOffsetToOpcodeMap(org.apache.bcel.classfile.Method method)
method
- the method
public LockDataflow getLockDataflow(org.apache.bcel.classfile.Method method) throws CFGBuilderException, DataflowAnalysisException
method
- the method
CFGBuilderException
DataflowAnalysisException
public LockChecker getLockChecker(org.apache.bcel.classfile.Method method) throws CFGBuilderException, DataflowAnalysisException
method
- the method
CFGBuilderException
DataflowAnalysisException
public ReturnPathDataflow getReturnPathDataflow(org.apache.bcel.classfile.Method method) throws CFGBuilderException, DataflowAnalysisException
method
- the method
CFGBuilderException
DataflowAnalysisException
public DominatorsAnalysis getNonExceptionDominatorsAnalysis(org.apache.bcel.classfile.Method method) throws CFGBuilderException, DataflowAnalysisException
method
- the method
CFGBuilderException
DataflowAnalysisException
public PostDominatorsAnalysis getNonImplicitExceptionDominatorsAnalysis(org.apache.bcel.classfile.Method method) throws CFGBuilderException, DataflowAnalysisException
method
- the method
CFGBuilderException
DataflowAnalysisException
public PostDominatorsAnalysis getNonExceptionPostDominatorsAnalysis(org.apache.bcel.classfile.Method method) throws CFGBuilderException, DataflowAnalysisException
method
- the method
CFGBuilderException
DataflowAnalysisException
public ExceptionSetFactory getExceptionSetFactory(org.apache.bcel.classfile.Method method)
method
- the method
public java.lang.String[] getParameterSignatureList(org.apache.bcel.classfile.Method method)
method
- the method
public LoadedFieldSet getLoadedFieldSet(org.apache.bcel.classfile.Method method)
method
- the method
public LiveLocalStoreDataflow getLiveLocalStoreDataflow(org.apache.bcel.classfile.Method method) throws DataflowAnalysisException, CFGBuilderException
method
- the method
DataflowAnalysisException
CFGBuilderException
public Dataflow<BlockType,BlockTypeAnalysis> getBlockTypeDataflow(org.apache.bcel.classfile.Method method) throws DataflowAnalysisException, CFGBuilderException
method
- the method
DataflowAnalysisException
CFGBuilderException
public AssignedFieldMap getAssignedFieldMap() throws java.lang.ClassNotFoundException
java.lang.ClassNotFoundException
- if a class lookup prevents
the class's superclasses from being searched for
assignable fieldspublic AssertionMethods getAssertionMethods()
public ConstantDataflow getConstantDataflow(org.apache.bcel.classfile.Method method) throws CFGBuilderException, DataflowAnalysisException
method
- the method
CFGBuilderException
DataflowAnalysisException
public UnconditionalDerefDataflow getUnconditionalDerefDataflow(org.apache.bcel.classfile.Method method) throws CFGBuilderException, DataflowAnalysisException
method
- the method
CFGBuilderException
DataflowAnalysisException
public LoadDataflow getLoadDataflow(org.apache.bcel.classfile.Method method) throws CFGBuilderException, DataflowAnalysisException
method
- the method
CFGBuilderException
DataflowAnalysisException
public StoreDataflow getStoreDataflow(org.apache.bcel.classfile.Method method) throws CFGBuilderException, DataflowAnalysisException
method
- the method
CFGBuilderException
DataflowAnalysisException
public CallListDataflow getCallListDataflow(org.apache.bcel.classfile.Method method) throws CFGBuilderException, DataflowAnalysisException
method
- the method
CFGBuilderException
DataflowAnalysisException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |