edu.umd.cs.findbugs.ba.npe
public class IsNullValueFrame extends Frame<IsNullValue>
Constructor Summary | |
---|---|
IsNullValueFrame(int numLocals, boolean trackValueNumbers) |
Method Summary | |
---|---|
void | cleanStaleKnowledge(ValueNumberFrame vnaFrameAfter) |
void | downgradeOnControlSplit()
Downgrade all NSP values in frame.
|
IsNullValue | getKnownValue(ValueNumber valueNumber) |
Collection<Entry<ValueNumber,IsNullValue>> | getKnownValueMapEntrySet() |
Collection<ValueNumber> | getKnownValues() |
void | mergeKnownValuesWith(IsNullValueFrame otherFrame) |
void | setDecision(IsNullConditionDecision decision) |
void | setKnownValue(ValueNumber valueNumber, IsNullValue knownValue) |
void | toExceptionValues() |
void | useNewValueNumberForLoad(ValueNumber oldValueNumber, ValueNumber newValueNumber) |