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

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

IsNullValueFrame

public IsNullValueFrame(int numLocals,
                        boolean trackValueNumbers)

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 class Frame<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 class Frame<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 class Frame<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 class Frame<IsNullValue>

downgradeOnControlSplit

public void downgradeOnControlSplit()

Downgrade all NSP values in frame. Should be called when a non-exception control split occurs.