|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.ba.Frame<IsNullValue>
edu.umd.cs.findbugs.ba.npe.IsNullValueFrame
public class IsNullValueFrame
Constructor Summary | |
---|---|
IsNullValueFrame(int numLocals,
boolean trackValueNumbers)
|
Method Summary | |
---|---|
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()
|
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 |
---|
public IsNullValueFrame(int numLocals, boolean trackValueNumbers)
Method Detail |
---|
public void cleanStaleKnowledge(ValueNumberFrame vnaFrameAfter)
public void setTop()
Frame
setTop
in class Frame<IsNullValue>
public void toExceptionValues()
public void setDecision(@CheckForNull IsNullConditionDecision decision)
@CheckForNull public IsNullConditionDecision getDecision()
public void setKnownValue(@NonNull ValueNumber valueNumber, @NonNull IsNullValue knownValue)
public void useNewValueNumberForLoad(ValueNumber oldValueNumber, ValueNumber newValueNumber)
@CheckForNull public IsNullValue getKnownValue(ValueNumber valueNumber)
public java.util.Collection<ValueNumber> getKnownValues()
public java.util.Collection<java.util.Map.Entry<ValueNumber,IsNullValue>> getKnownValueMapEntrySet()
public void mergeKnownValuesWith(IsNullValueFrame otherFrame)
public void copyFrom(Frame<IsNullValue> other)
Frame
copyFrom
in class Frame<IsNullValue>
other
- the Frame to make this object the same aspublic boolean sameAs(Frame<IsNullValue> other)
Frame
sameAs
in class Frame<IsNullValue>
other
- the other Frame
public java.lang.String toString()
Frame
toString
in class Frame<IsNullValue>
public void downgradeOnControlSplit()
|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |