Struct sequent_repl::commands::event_proxy::Parser

pub struct Parser<S, E: Event<S>> { /* private fields */ }

Parser for EventProxy of some event type.

Implementations

impl<S, E> Parser<S, E>where
    E: Event<S> + FromStr + StaticNamed,

pub fn new(
    shorthand: Option<Cow<'static, str>>,
    description: Description
) -> Self

Creates a new parser. The name is taken from the event type, provided the latter implements StaticNamed.

Trait Implementations

impl<S: 'static, C: Context<S>, E, T: Terminal> NamedCommandParser<C, SimulationError<S>, T> for Parser<S, E>where
    E: FromStr + Event<S> + 'static,
    E::Err: ToString,

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.