public class ResourceValueFrame extends Frame<ResourceValue>
Modifier and Type | Field and Description |
---|---|
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.
|
Constructor and Description |
---|
ResourceValueFrame(int numSlots) |
Modifier and Type | Method and Description |
---|---|
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.
|
allSlots, clearStack, contains, getArgument, getArgument, getArgumentSet, getArgumentSlot, getInstance, getInstanceSlot, getInstanceStackLocation, getLastUpdateTimestamp, getNumArguments, getNumArgumentsIncludingObjectInstance, getNumLocals, getNumSlots, getOperand, getStackDepth, getStackLocation, getStackValue, getTopStackWords, getTopValue, getValue, isBottom, isTop, isValid, popValue, pushValue, setBottom, setLastUpdateTimestamp, setTop, setValid, setValue, valueToString
public static final int ESCAPED
public static final int OPEN
public static final int OPEN_ON_EXCEPTION_PATH
public static final int CLOSED
public static final int CREATED
public static final int NONEXISTENT
public int getStatus()
public void setStatus(int status)
public boolean sameAs(Frame<ResourceValue> other_)
Frame
sameAs
in class Frame<ResourceValue>
other_
- the other Framepublic void copyFrom(Frame<ResourceValue> other_)
Frame
copyFrom
in class Frame<ResourceValue>
other_
- the Frame to make this object the same aspublic java.lang.String toString()
Frame
toString
in class Frame<ResourceValue>
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.