Module dev.civl.gmc
Package dev.civl.gmc

Interface TraceStepIF<STATE>

Type Parameters:
STATE - the type used to represent states in the state-transition system being analyzed
All Known Implementing Classes:
TraceStep
public interface TraceStepIF<STATE>
A TraceStepIF represents the execution result of nextState of StateManagerIF. See
invalid reference 
StateManager#nextState(STATE, TRANSITION)
.

  • Method Summary

    Modifier and Type
    Method
    Description
    STATE
    getFinalState()
    Returns the resulting state of the trace step.
    String
    toString()
     

  • Method Details

    • getFinalState

      STATE getFinalState()
      Returns the resulting state of the trace step.
      Returns:
      the resulting state of the trace step.

    • toString

      String toString()
      Overrides:
      toString in class Object