Class IsNullValueFrame

    • Constructor Detail

      • IsNullValueFrame

        public IsNullValueFrame​(int numLocals,
                                boolean trackValueNumbers)
    • Method Detail

      • 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()
      • setKnownValue

        public void setKnownValue​(@Nonnull
                                  ValueNumber valueNumber,
                                  @Nonnull
                                  IsNullValue knownValue)
      • useNewValueNumberForLoad

        public void useNewValueNumberForLoad​(ValueNumber oldValueNumber,
                                             ValueNumber newValueNumber)
      • 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.