Package edu.umd.cs.findbugs.ba

Class ResourceValueFrame

java.lang.Object

edu.umd.cs.findbugs.ba.Frame<ResourceValue>

edu.umd.cs.findbugs.ba.ResourceValueFrame

public class ResourceValueFrame
extends Frame<ResourceValue>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	ResourceValueFrame.State

Field Summary

Fields

Modifier and Type	Field	Description
private ResourceValueFrame.State	status
private static final String[]	statusList

Constructor Summary

Constructors

Constructor	Description
ResourceValueFrame(int numSlots)

Method Summary

Modifier and Type	Method	Description
void	copyFrom(Frame<ResourceValue> other_)	Make this Frame exactly the same as the one given as a parameter.
ResourceValueFrame.State	getStatus()
boolean	sameAs(Frame<ResourceValue> other_)	Return true if this stack frame is the same as the one given as a parameter.
void	setStatus(ResourceValueFrame.State status)
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 Details

status

private ResourceValueFrame.State status

statusList

private static final String[] statusList

Constructor Details

ResourceValueFrame

public ResourceValueFrame(int numSlots)

Method Details

getStatus

public ResourceValueFrame.State getStatus()

setStatus

public void setStatus(ResourceValueFrame.State 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 String toString()

Description copied from class: Frame

Convert to string.

Overrides:

toString in class Frame<ResourceValue>