Interface MatsTrace.StackState<Z>

  • Enclosing interface:
    MatsTrace<Z>

    public static interface MatsTrace.StackState<Z>
    The State instances (of type Z), along with the height of the stack the state relates to.
    • Method Detail

      • getHeight

        int getHeight()
        Returns:
        which stack height this getState() belongs to.
      • getState

        Z getState()
        Returns:
        the state at stack height getHeight().
      • setExtraState

        void setExtraState​(java.lang.String key,
                           Z value)
        Sets "extra state" on this StackState.
      • getExtraState

        Z getExtraState​(java.lang.String key)
        Retrieves "extra state" on this StackState.