Struct sequent_repl::commands::load::Parser

pub struct Parser;

Parser for Load.

Trait Implementations

impl<S, C: Context<S>, T: Terminal> NamedCommandParser<C, SimulationError<S>, T> for Parserwhere
    for<'de> S: Clone + Deserialize<'de>,

fn parse(
    &self,
    s: &str
) -> Result<Box<dyn Command<C, SimulationError<S>, T>>, ParseCommandError>

Parses the given string slice, returning Command object.

fn shorthand(&self) -> Option<Cow<'static, str>>

Optional shorthand moniker for the command. The user may type in this string instead of the full command name.

fn name(&self) -> Cow<'static, str>

The (mandatory) complete name of the command. The user will type in the name of the command, followed by some (depending on the command) arguments.

fn description(&self) -> Description

Describes the command. The description is displayed when invoking the help command.

fn parse_no_args<M>(
    &self,
    s: &str,
    ctor: impl FnOnce() -> M
) -> Result<Box<dyn Command<C, E, T> + 'static, Global>, ParseCommandError>where
    M: 'static + Command<C, E, T>,
    T: Terminal,
    Self: Sized,

A convenience method for creating a Command object by invoking the given ctor closure, assuming that this command does not require any arguments.