edu.umd.cs.findbugs.ba
Class LockCount

java.lang.Object
  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