Package edu.umd.cs.findbugs.ba.npe
Class IsNullValueFrame
- java.lang.Object
-
- edu.umd.cs.findbugs.ba.Frame<IsNullValue>
-
- edu.umd.cs.findbugs.ba.npe.IsNullValueFrame
-
public class IsNullValueFrame extends Frame<IsNullValue>
-
-
Constructor Summary
Constructors Constructor Description IsNullValueFrame(int numLocals, boolean trackValueNumbers)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
cleanStaleKnowledge(ValueNumberFrame vnaFrameAfter)
void
copyFrom(Frame<IsNullValue> other)
Make this Frame exactly the same as the one given as a parameter.void
downgradeOnControlSplit()
Downgrade all NSP values in frame.IsNullConditionDecision
getDecision()
IsNullValue
getKnownValue(ValueNumber valueNumber)
java.util.Collection<java.util.Map.Entry<ValueNumber,IsNullValue>>
getKnownValueMapEntrySet()
java.util.Collection<ValueNumber>
getKnownValues()
boolean
isTrackValueNumbers()
void
mergeKnownValuesWith(IsNullValueFrame otherFrame)
boolean
sameAs(Frame<IsNullValue> other)
Return true if this stack frame is the same as the one given as a parameter.void
setDecision(IsNullConditionDecision decision)
void
setKnownValue(ValueNumber valueNumber, IsNullValue knownValue)
void
setTop()
Make this frame the special "TOP" value.void
toExceptionValues()
java.lang.String
toString()
Convert to string.void
useNewValueNumberForLoad(ValueNumber oldValueNumber, ValueNumber newValueNumber)
-
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, setValid, setValue, valueToString
-
-
-
-
Method Detail
-
isTrackValueNumbers
public boolean isTrackValueNumbers()
-
cleanStaleKnowledge
public void cleanStaleKnowledge(ValueNumberFrame vnaFrameAfter)
-
setTop
public void setTop()
Description copied from class:Frame
Make this frame the special "TOP" value. Such Frames are the identity element of the meet operation.- Overrides:
setTop
in classFrame<IsNullValue>
-
toExceptionValues
public void toExceptionValues()
-
setDecision
public void setDecision(@CheckForNull IsNullConditionDecision decision)
-
getDecision
@CheckForNull public IsNullConditionDecision getDecision()
-
setKnownValue
public void setKnownValue(@Nonnull ValueNumber valueNumber, @Nonnull IsNullValue knownValue)
-
useNewValueNumberForLoad
public void useNewValueNumberForLoad(ValueNumber oldValueNumber, ValueNumber newValueNumber)
-
getKnownValue
@CheckForNull public IsNullValue getKnownValue(ValueNumber valueNumber)
-
getKnownValues
public java.util.Collection<ValueNumber> getKnownValues()
-
getKnownValueMapEntrySet
public java.util.Collection<java.util.Map.Entry<ValueNumber,IsNullValue>> getKnownValueMapEntrySet()
-
mergeKnownValuesWith
public void mergeKnownValuesWith(IsNullValueFrame otherFrame)
-
copyFrom
public void copyFrom(Frame<IsNullValue> other)
Description copied from class:Frame
Make this Frame exactly the same as the one given as a parameter.- Overrides:
copyFrom
in classFrame<IsNullValue>
- Parameters:
other
- the Frame to make this object the same as
-
sameAs
public boolean sameAs(Frame<IsNullValue> 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 classFrame<IsNullValue>
- Parameters:
other
- the other Frame- Returns:
- true if the frames are the same, false otherwise
-
toString
public java.lang.String toString()
Description copied from class:Frame
Convert to string.- Overrides:
toString
in classFrame<IsNullValue>
-
downgradeOnControlSplit
public void downgradeOnControlSplit()
Downgrade all NSP values in frame. Should be called when a non-exception control split occurs.
-
-