public final class LockSet
extends java.lang.Object
ValueNumberAnalysis
Modifier and Type | Field and Description |
---|---|
static int |
BOTTOM
An invalid lock count resulting from the meet of two different
(inconsistent) lock counts.
|
static int |
TOP
An uninitialized lock value.
|
Constructor and Description |
---|
LockSet()
Constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
clear()
Clear all entries out of this LockSet.
|
boolean |
containsReturnValue(ValueNumberFactory factory)
Determine whether or not this lock set contains any locked values which
are method return values.
|
void |
copyFrom(LockSet other)
Make this LockSet the same as the given one.
|
int |
getLockCount(int valueNumber)
Get the lock count for given lock object.
|
java.util.Collection<ValueNumber> |
getLockedValueNumbers(ValueNumberFrame frame) |
int |
getNumLockedObjects()
Get the number of distinct lock values with positive lock counts.
|
void |
intersectWith(LockSet other)
Destructively intersect this lock set with another.
|
boolean |
isEmpty()
Return whether or not this lock set is empty, meaning that no locks have
a positive lock count.
|
boolean |
isTop() |
void |
meetWith(LockSet other)
Meet this LockSet with another LockSet, storing the result in this
object.
|
boolean |
sameAs(LockSet other)
Return whether or not this LockSet is the same as the one given.
|
void |
setDefaultLockCount(int defaultLockCount)
Set the default lock count to return for nonexistent lock entries.
|
void |
setLockCount(int valueNumber,
int lockCount)
Set the lock count for a lock object.
|
java.lang.String |
toString() |
public static final int TOP
public static final int BOTTOM
public LockSet()
public int getLockCount(int valueNumber)
valueNumber
- value number of the lock objectpublic boolean isTop()
public void setLockCount(int valueNumber, int lockCount)
valueNumber
- value number of the lock objectlockCount
- the lock count for the lockpublic void setDefaultLockCount(int defaultLockCount)
defaultLockCount
- the default lock count valuepublic int getNumLockedObjects()
public void copyFrom(LockSet other)
other
- the LockSet to copypublic void clear()
public void meetWith(LockSet other)
other
- the other LockSetpublic boolean sameAs(LockSet other)
other
- the other LockSetpublic boolean containsReturnValue(ValueNumberFactory factory)
factory
- the ValueNumberFactory that produced the lock valuespublic void intersectWith(LockSet other)
other
- the other LockSetpublic boolean isEmpty()
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.Collection<ValueNumber> getLockedValueNumbers(ValueNumberFrame frame)
frame
- FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.