|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.ba.Frame<ResourceValue>
edu.umd.cs.findbugs.ba.ResourceValueFrame
public class ResourceValueFrame
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. |
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 |
---|
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 |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
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
Constructor Detail |
---|
public ResourceValueFrame(int numSlots)
Method Detail |
---|
public int getStatus()
public void setStatus(int status)
public boolean sameAs(Frame<ResourceValue> other_)
Frame
sameAs
in class Frame<ResourceValue>
other_
- the other Frame
public 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™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |