Lock counts for values (as produced by ValueNumberAnalysis).
A LockSet tells us the lock counts for all values in a method,
insofar as we can accurately determine them.
author: David Hovemeyer See Also:ValueNumberAnalysis
Field Summary
final public static int
BOTTOM An invalid lock count resulting from the meet of two
different (inconsistent) lock counts.
Determine whether or not this lock set contains any
locked values which are method return values.
Parameters: factory - the ValueNumberFactory that produced the lock values
Destructively intersect this lock set with another.
Note that this is not a dataflow merge:
we are interested in finding out which locks are held
in both sets, not in the exact lock counts.
Parameters: other - the other LockSet
Return whether or not this lock set is empty,
meaning that no locks have a positive lock count.
true if no locks are held, false if at leastone lock is held