Struct sequent_repl::commands::next::Next

pub struct Next;

Command to step through the next event in the timeline. Upon completion, the current simulation state will reflect the sequential application of all events up to and including the upcoming event, and the cursor location will advance to the subsequent event (one after the upcoming event).

Trait Implementations

impl<S, C: Context<S>, T: Terminal> Command<C, SimulationError<S>, T> for Next

fn apply(
    &mut self,
    looper: &mut Looper<'_, C, SimulationError<S>, T>
) -> Result<ApplyOutcome, ApplyCommandError<SimulationError<S>>>

Applies the command for the given Looper. References to the underlying application context and the terminal interface are supplied by the Looper.