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 Details

    • getHeight

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

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

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

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