edu.umd.cs.findbugs.ba
public class ClassContext extends Object
Field Summary | |
---|---|
static boolean | DEBUG |
Constructor Summary | |
---|---|
ClassContext(JavaClass jclass, AnalysisContext analysisContext)
Constructor.
|
Method Summary | |
---|---|
void | dumpDataflowInformation(Method method) |
static void | dumpDataflowInformation(Method method, CFG cfg, ValueNumberDataflow vnd, IsNullValueDataflow inv, UnconditionalValueDerefDataflow dataflow, TypeDataflow typeDataflow) |
static void | dumpTypeDataflow(Method method, CFG cfg, TypeDataflow typeDataflow) |
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(Method method)
Get BlockType dataflow for given method.
|
BitSet | getBytecodeSet(JavaClass clazz, Method method)
Get a BitSet representing the bytecodes that are used in the given method.
|
CallListDataflow | getCallListDataflow(Method method)
Get CallListDataflow for method.
|
CFG | getCFG(Method method)
Get a CFG for given method.
|
CompactLocationNumbering | getCompactLocationNumbering(Method method)
Get a CompactLocationNumbering for a method.
|
ConstantDataflow | getConstantDataflow(Method method)
Get ConstantDataflow for method.
|
DefinitelyNullSetDataflow | getDefinitelyNullSetDataflow(Method method)
Get DefinitelyNullSetDataflow for a method.
|
DepthFirstSearch | getDepthFirstSearch(Method method)
Get a DepthFirstSearch for given method.
|
ExceptionSetFactory | getExceptionSetFactory(Method method)
Get ExceptionSetFactory for given method.
|
IsNullValueDataflow | getIsNullValueDataflow(Method method)
Get an IsNullValueDataflow for given method.
|
JavaClass | getJavaClass()
Get the JavaClass. |
LiveLocalStoreDataflow | getLiveLocalStoreDataflow(Method method)
Get LiveLocalStoreAnalysis dataflow for given method.
|
LoadDataflow | getLoadDataflow(Method method)
Get load dataflow.
|
LoadedFieldSet | getLoadedFieldSet(Method method)
Get the set of fields loaded by given method.
|
LockChecker | getLockChecker(Method method)
Get LockChecker for method.
|
LockDataflow | getLockDataflow(Method method)
Get dataflow for LockAnalysis for given method.
|
RepositoryLookupFailureCallback | getLookupFailureCallback()
Get the RepositoryLookupFailureCallback.
|
Set<Integer> | getLoopExitBranches(Method method, MethodGen methodGen) |
Method | getMethod(MethodGen methodGen)
Look up the Method represented by given MethodGen.
|
DominatorsAnalysis | getNonExceptionDominatorsAnalysis(Method method)
Get DominatorsAnalysis for given method,
where exception edges are ignored.
|
PostDominatorsAnalysis | getNonExceptionPostDominatorsAnalysis(Method method)
Get PostDominatorsAnalysis for given method,
where exception edges are ignored.
|
PostDominatorsAnalysis | getNonImplicitExceptionDominatorsAnalysis(Method method)
Get DominatorsAnalysis for given method,
where implicit exception edges are ignored.
|
short[] | getOffsetToOpcodeMap(Method method)
Get array mapping bytecode offsets to opcodes for given method.
|
String[] | getParameterSignatureList(Method method)
Get array of type signatures of parameters for given method.
|
CFG | getRawCFG(Method method)
Get a "raw" CFG for given method.
|
ReturnPathDataflow | getReturnPathDataflow(Method method)
Get ReturnPathDataflow for method.
|
ReturnPathTypeDataflow | getReturnPathTypeDataflow(Method method)
Get ReturnPathTypeDataflow for a method.
|
ReverseDepthFirstSearch | getReverseDepthFirstSearch(Method method)
Get a ReverseDepthFirstSearch for given method.
|
StoreDataflow | getStoreDataflow(Method method)
Get store dataflow.
|
TypeDataflow | getTypeDataflow(Method method)
Get a TypeDataflow for given method.
|
UnconditionalValueDerefDataflow | getUnconditionalValueDerefDataflow(Method method)
Get the UnconditionalValueDerefDataflow for a method.
|
UsagesRequiringNonNullValues | getUsagesRequiringNonNullValues(Method method)
Get a UsagesRequiringNonNullValues for given method.
|
ValueNumberDataflow | getValueNumberDataflow(Method method)
Get a ValueNumberDataflow for given method.
|
static BitSet | linesMentionedMultipleTimes(Method method) |
Parameters: jclass the JavaClass
Parameters: method cfg vnd inv dataflow typeDataflow TODO
Throws: DataflowAnalysisException
Parameters: method cfg typeDataflow
Throws: DataflowAnalysisException
Returns: the AssertionMethods
Returns: the AssignedFieldMap
Throws: ClassNotFoundException if a class lookup prevents the class's superclasses from being searched for assignable fields
Parameters: method the method
Returns: the Dataflow object for BlockTypeAnalysis on the method
Parameters: method the method
Returns: the BitSet containing the opcodes which appear in the method, or null if the method has no code
Parameters: method the method
Returns: the CallListDataflow
Throws: CFGBuilderException DataflowAnalysisException
Parameters: method the method
Returns: the CFG
Throws: CFGBuilderException if a CFG cannot be constructed for the method
Parameters: method a method
Returns: the CompactLocationNumbering for the method
Throws: CFGBuilderException
Parameters: method the method
Returns: the ConstantDataflow
Throws: CFGBuilderException DataflowAnalysisException
Parameters: method a method
Returns: the DefinitelyNullSetDataflow for the method
Throws: DataflowAnalysisException CFGBuilderException
Parameters: method the method
Returns: the DepthFirstSearch
Parameters: method the method
Returns: the ExceptionSetFactory
Parameters: method the method
Returns: the IsNullValueDataflow
Parameters: method the method
Returns: the Dataflow object for LiveLocalStoreAnalysis on the method
Parameters: method the method
Returns: the LoadDataflow
Throws: CFGBuilderException DataflowAnalysisException
Parameters: method the method
Returns: the set of fields loaded by the method
Parameters: method the method
Returns: the LockChecker
Throws: CFGBuilderException DataflowAnalysisException
Parameters: method the method
Returns: the LockDataflow
Returns: the RepositoryLookupFailureCallback
Parameters: methodGen a MethodGen
Returns: the Method represented by the MethodGen
Parameters: method the method
Returns: the DominatorsAnalysis
Parameters: method the method
Returns: the PostDominatorsAnalysis
Parameters: method the method
Returns: the DominatorsAnalysis
Parameters: method the method
Returns: map of bytecode offsets to opcodes, or null if the method has no code
Parameters: method the method
Returns: an array of type signatures indicating the types of the method's parameters
Parameters: method the method
Returns: the raw CFG
Parameters: method the method
Returns: the ReturnPathDataflow
Parameters: method the method
Returns: the ReturnPathTypeDataflow for the method
Throws: CFGBuilderException DataflowAnalysisException
Parameters: method the method
Returns: the ReverseDepthFirstSearch
Parameters: method the method
Returns: the StoreDataflow
Throws: CFGBuilderException DataflowAnalysisException
Parameters: method the method
Returns: the TypeDataflow
Parameters: method the method
Returns: the UnconditionalValueDerefDataflow
Throws: CFGBuilderException DataflowAnalysisException
Parameters: method the method
Returns: the UsagesRequiringNonNullValues
Parameters: method the method
Returns: the ValueNumberDataflow