Package edu.umd.cs.findbugs.ba.npe

Class IsNullValueFrame

java.lang.Object
edu.umd.cs.findbugs.ba.Frame<IsNullValue>
edu.umd.cs.findbugs.ba.npe.IsNullValueFrame
public class IsNullValueFrame extends Frame<IsNullValue>

  • Constructor Details

    • IsNullValueFrame

      public IsNullValueFrame(int numLocals, boolean trackValueNumbers)

  • Method Details

    • isTrackValueNumbers

      public boolean isTrackValueNumbers()

    • 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 Collection<ValueNumber> getKnownValues()

    • getKnownValueMapEntrySet

      public Collection<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 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.