Struct sequent_repl::commands::jump::Jump

pub struct Jump { /* private fields */ }

Command to ‘jump’ to a specific event in the timeline. Upon completion, the simulation state will reflect the sequential application of all events up to but not including the one at the specified cursor location. Equivalently, ‘jump 0’ has the effect of resetting the simulation state.

Trait Implementations

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

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.