edu.umd.cs.findbugs.ba
Class ResourceValueFrame

java.lang.Object
  edu.umd.cs.findbugs.ba.Frame<ResourceValue>
      edu.umd.cs.findbugs.ba.ResourceValueFrame

All Implemented Interfaces:

Debug

public class ResourceValueFrame
extends Frame<ResourceValue>

Field Summary

static int	CLOSED The resource is closed (or unlocked, etc).
static int	CREATED The resource has been created, but is not open.
static int	ESCAPED The resource escapes the method.
static int	NONEXISTENT The resource doesn't exist.
static int	OPEN The resource is open (or locked, etc) on paths that include only normal control flow.
static int	OPEN_ON_EXCEPTION_PATH The resource is open (or locked, etc) on paths that include exception control flow.
private int	status
private static java.lang.String[]	statusList

Fields inherited from interface edu.umd.cs.findbugs.ba.Debug

CHECK_ASSERTIONS, VERIFY_INTEGRITY

Constructor Summary

ResourceValueFrame(int numSlots)

Method Summary

void	copyFrom(Frame<ResourceValue> other_) Make this Frame exactly the same as the one given as a parameter.
int	getStatus()
boolean	sameAs(Frame<ResourceValue> other_) Return true if this stack frame is the same as the one given as a parameter.
void	setStatus(int status)
java.lang.String	toString() Convert to string.

Methods inherited from class edu.umd.cs.findbugs.ba.Frame

clearStack, getInstance, getNumLocals, getNumSlots, getStackDepth, getStackValue, getTopStackWords, getTopValue, getValue, isBottom, isTop, isValid, popValue, pushValue, setBottom, setTop, setValid, setValue, valueToString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

ESCAPED

public static final int ESCAPED

The resource escapes the method.

See Also:

Constant Field Values

OPEN

public static final int OPEN

The resource is open (or locked, etc) on paths that include only normal control flow.

See Also:

Constant Field Values

OPEN_ON_EXCEPTION_PATH

public static final int OPEN_ON_EXCEPTION_PATH

The resource is open (or locked, etc) on paths that include exception control flow.

See Also:

Constant Field Values

CLOSED

public static final int CLOSED

The resource is closed (or unlocked, etc).

See Also:

Constant Field Values

CREATED

public static final int CREATED

The resource has been created, but is not open.

See Also:

Constant Field Values

NONEXISTENT

public static final int NONEXISTENT

The resource doesn't exist.

See Also:

Constant Field Values

status

private int status

statusList

private static final java.lang.String[] statusList

Constructor Detail

ResourceValueFrame

public ResourceValueFrame(int numSlots)

Method Detail

getStatus

public int getStatus()

setStatus

public void setStatus(int status)

sameAs

public boolean sameAs(Frame<ResourceValue> other_)

Description copied from class: Frame

Return true if this stack frame is the same as the one given as a parameter.

Overrides:

sameAs in class Frame<ResourceValue>

Parameters:

other_ - the other Frame

Returns:

true if the frames are the same, false otherwise

copyFrom

public void copyFrom(Frame<ResourceValue> other_)

Description copied from class: Frame

Make this Frame exactly the same as the one given as a parameter.

Overrides:

copyFrom in class Frame<ResourceValue>

Parameters:

other_ - the Frame to make this object the same as

toString

public java.lang.String toString()

Description copied from class: Frame

Convert to string.

Overrides:

toString in class Frame<ResourceValue>