edu.umd.cs.findbugs.ba
public class LockChecker extends Object
Note that because LockSets use value numbers, ValueNumberAnalysis must be performed for all methods that are synchronized or contain explicit monitorenter/monitorexit instructions.
See Also: LockSet LockDataflow LockAnalysis
Constructor Summary | |
---|---|
LockChecker(ClassContext classContext, Method method)
Constructor.
|
Method Summary | |
---|---|
void | execute()
Execute dataflow analyses (only if required).
|
LockSet | getFactAtLocation(Location location)
Get LockSet at given Location.
|
Parameters: classContext ClassContext for the class method Method we want LockSets for
Throws: DataflowAnalysisException CFGBuilderException
Parameters: location the Location
Returns: the LockSet at that Location
Throws: DataflowAnalysisException