public class LockChecker
extends java.lang.Object
Note that because LockSets use value numbers, ValueNumberAnalysis must be performed for all methods that are synchronized or contain explicit monitorenter/monitorexit instructions.
LockSet
,
LockDataflow
,
LockAnalysis
Constructor and Description |
---|
LockChecker(MethodDescriptor methodDescriptor)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
execute()
Execute dataflow analyses (only if required).
|
LockSet |
getFactAtLocation(Location location)
Get LockSet at given Location.
|
public LockChecker(MethodDescriptor methodDescriptor)
public void execute() throws CheckedAnalysisException
CheckedAnalysisException
public LockSet getFactAtLocation(Location location) throws DataflowAnalysisException
location
- the LocationDataflowAnalysisException
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.