edu.umd.cs.findbugs.ba
Class LockCount

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.LockCount

public class LockCount
extends java.lang.Object

Dataflow value for representing the number of locks held.

Author:
David Hovemeyer
See Also:
LockCountAnalysis

Field Summary
static int BOTTOM
          Bottom value.
private  int count
           
static int TOP
          Top value.
 
Constructor Summary
LockCount(int count)
          Constructor.
 
Method Summary
 int getCount()
          Get the lock count.
 boolean isBottom()
          Is this the bottom value?
 boolean isTop()
          Is this the top value?
 void setCount(int count)
          Set the lock count.
 java.lang.String toString()
          Convert to string.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

count

private int count

TOP

public static final int TOP
Top value.

See Also:
Constant Field Values

BOTTOM

public static final int BOTTOM
Bottom value.

See Also:
Constant Field Values
Constructor Detail

LockCount

public LockCount(int count)
Constructor.

Parameters:
count - the lock count, or the special TOP or BOTTOM values
Method Detail

getCount

public int getCount()
Get the lock count.


setCount

public void setCount(int count)
Set the lock count.

Parameters:
count - the lock count

isTop

public boolean isTop()
Is this the top value?


isBottom

public boolean isBottom()
Is this the bottom value?


toString

public java.lang.String toString()
Convert to string.

Overrides:
toString in class java.lang.Object