FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba.npe
Class IsNullValueFrame

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Frame<IsNullValue>
      extended by edu.umd.cs.findbugs.ba.npe.IsNullValueFrame

public class IsNullValueFrame
extends Frame<IsNullValue>


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

IsNullValueFrame

public IsNullValueFrame(int numLocals,
                        boolean trackValueNumbers)
Method Detail

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.


FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.