Class Frame


  • public final class Frame
    extends java.lang.Object
    User: Mike Strobel Date: 1/6/13 Time: 4:09 PM
    • Field Detail

      • EMPTY_VALUES

        public static final FrameValue[] EMPTY_VALUES
      • NEW_EMPTY

        public static final Frame NEW_EMPTY
      • SAME

        public static final Frame SAME
      • _frameType

        private final FrameType _frameType
      • _localValues

        private final java.util.List<FrameValue> _localValues
      • _stackValues

        private final java.util.List<FrameValue> _stackValues
    • Method Detail

      • getFrameType

        public final FrameType getFrameType()
      • getLocalValues

        public final java.util.List<FrameValue> getLocalValues()
      • getStackValues

        public final java.util.List<FrameValue> getStackValues()
      • withEmptyStack

        public final Frame withEmptyStack()
      • equals

        public final boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public final int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public final java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • computeDelta

        public static Frame computeDelta​(Frame previous,
                                         Frame current)