edu.umd.cs.findbugs.ba.npe

Class IsNullValueFrame

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)

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.