FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba
Class ResourceValueFrame

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

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.
 
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

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
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>

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.