edu.umd.cs.findbugs.ba.npe

Class IsNullValueFrame

public class IsNullValueFrame extends Frame<IsNullValue>

Constructor Summary
IsNullValueFrame(int numLocals, boolean trackValueNumbers)
Method Summary
voidcleanStaleKnowledge(ValueNumberFrame vnaFrameAfter)
voiddowngradeOnControlSplit()
Downgrade all NSP values in frame.
IsNullValuegetKnownValue(ValueNumber valueNumber)
Collection<Entry<ValueNumber,IsNullValue>>getKnownValueMapEntrySet()
Collection<ValueNumber>getKnownValues()
voidmergeKnownValuesWith(IsNullValueFrame otherFrame)
voidsetDecision(IsNullConditionDecision decision)
voidsetKnownValue(ValueNumber valueNumber, IsNullValue knownValue)
voidtoExceptionValues()
voiduseNewValueNumberForLoad(ValueNumber oldValueNumber, ValueNumber newValueNumber)

Constructor Detail

IsNullValueFrame

public IsNullValueFrame(int numLocals, boolean trackValueNumbers)

Method Detail

cleanStaleKnowledge

public void cleanStaleKnowledge(ValueNumberFrame vnaFrameAfter)

downgradeOnControlSplit

public void downgradeOnControlSplit()
Downgrade all NSP values in frame. Should be called when a non-exception control split occurs.

getKnownValue

public IsNullValue getKnownValue(ValueNumber valueNumber)

getKnownValueMapEntrySet

public Collection<Entry<ValueNumber,IsNullValue>> getKnownValueMapEntrySet()

getKnownValues

public Collection<ValueNumber> getKnownValues()

mergeKnownValuesWith

public void mergeKnownValuesWith(IsNullValueFrame otherFrame)

setDecision

public void setDecision(IsNullConditionDecision decision)

setKnownValue

public void setKnownValue(ValueNumber valueNumber, IsNullValue knownValue)

toExceptionValues

public void toExceptionValues()

useNewValueNumberForLoad

public void useNewValueNumberForLoad(ValueNumber oldValueNumber, ValueNumber newValueNumber)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.