Package edu.umd.cs.findbugs.ba
Class ResourceValueFrame
-
Field Summary
Modifier and TypeFieldDescriptionstatic final int
The resource is closed (or unlocked, etc).static final int
The resource has been created, but is not open.static final int
The resource escapes the method.static final int
The resource doesn't exist.static final int
The resource is open (or locked, etc) on paths that include only normal control flow.static final int
The resource is open (or locked, etc) on paths that include exception control flow. -
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
copyFrom
(Frame<ResourceValue> other_) Make this Frame exactly the same as the one given as a parameter.int
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) 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
-
Field Details
-
ESCAPED
public static final int ESCAPEDThe resource escapes the method.- See Also:
-
OPEN
public static final int OPENThe resource is open (or locked, etc) on paths that include only normal control flow.- See Also:
-
OPEN_ON_EXCEPTION_PATH
public static final int OPEN_ON_EXCEPTION_PATHThe resource is open (or locked, etc) on paths that include exception control flow.- See Also:
-
CLOSED
public static final int CLOSEDThe resource is closed (or unlocked, etc).- See Also:
-
CREATED
public static final int CREATEDThe resource has been created, but is not open.- See Also:
-
NONEXISTENT
public static final int NONEXISTENTThe resource doesn't exist.- See Also:
-
-
Constructor Details
-
ResourceValueFrame
public ResourceValueFrame(int numSlots)
-
-
Method Details
-
getStatus
public int getStatus() -
setStatus
public void setStatus(int status) -
sameAs
Description copied from class:Frame
Return true if this stack frame is the same as the one given as a parameter.- Overrides:
sameAs
in classFrame<ResourceValue>
- Parameters:
other_
- the other Frame- Returns:
- true if the frames are the same, false otherwise
-
copyFrom
Description copied from class:Frame
Make this Frame exactly the same as the one given as a parameter.- Overrides:
copyFrom
in classFrame<ResourceValue>
- Parameters:
other_
- the Frame to make this object the same as
-
toString
Description copied from class:Frame
Convert to string.- Overrides:
toString
in classFrame<ResourceValue>
-