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 classResourceValueFrame.State
-
Field Summary
Fields Modifier and Type Field Description private ResourceValueFrame.Statestatusprivate static java.lang.String[]statusList
-
Constructor Summary
Constructors Constructor Description ResourceValueFrame(int numSlots)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidcopyFrom(Frame<ResourceValue> other_)Make this Frame exactly the same as the one given as a parameter.ResourceValueFrame.StategetStatus()booleansameAs(Frame<ResourceValue> other_)Return true if this stack frame is the same as the one given as a parameter.voidsetStatus(ResourceValueFrame.State status)java.lang.StringtoString()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 Detail
-
status
private ResourceValueFrame.State status
-
statusList
private static final java.lang.String[] statusList
-
-
Method Detail
-
getStatus
public ResourceValueFrame.State getStatus()
-
setStatus
public void setStatus(ResourceValueFrame.State status)
-
sameAs
public boolean sameAs(Frame<ResourceValue> other_)
Description copied from class:FrameReturn true if this stack frame is the same as the one given as a parameter.- Overrides:
sameAsin classFrame<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:FrameMake this Frame exactly the same as the one given as a parameter.- Overrides:
copyFromin classFrame<ResourceValue>- Parameters:
other_- the Frame to make this object the same as
-
toString
public java.lang.String toString()
Description copied from class:FrameConvert to string.- Overrides:
toStringin classFrame<ResourceValue>
-
-