Struct wca::Verifier

source ·
pub struct Verifier {
    pub commands: HashMap<String, Vec<Command>>,
}
Expand description

Converts a ParsedCommand to a VerifiedCommand by performing validation and type casting on values.

let grammar = Verifier::former()
.command
(
  Command::former()
  .hint( "hint" )
  .long_hint( "long_hint" )
  .phrase( "command" )
  .form()
)
.form();

let raw_command = ParsedCommand
{
  name: "command".to_string(),
  subjects: vec![],
  properties: HashMap::new(),
};

let grammar_command = grammar.to_command( raw_command )?;

Fields§

§commands: HashMap<String, Vec<Command>>

all available commands

Implementations§

source§

impl Verifier

source

pub fn former() -> VerifierFormer<Verifier, ReturnContainer>

Make former, variation of builder pattern to form structure defining values of fields step by step.

source§

impl Verifier

source

pub fn to_program( &self, raw_program: Program<Namespace<ParsedCommand>> ) -> Result<Program<Namespace<VerifiedCommand>>>

Converts raw program to grammatically correct

Converts all namespaces into it with to_namespace method.

source

pub fn to_namespace( &self, raw_namespace: Namespace<ParsedCommand> ) -> Result<Namespace<VerifiedCommand>>

Converts raw namespace to grammatically correct

Converts all commands into it with to_command method.

source

pub fn to_command(&self, raw_command: ParsedCommand) -> Result<VerifiedCommand>

Converts raw command to grammatically correct

Make sure that this command is described in the grammar and matches it(command itself and all it options too).

Trait Implementations§

source§

impl Clone for Verifier

source§

fn clone(&self) -> Verifier

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl Debug for Verifier

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<T> Any for T
where T: Any,

source§

impl<T> CloneAny for T
where T: Any + Clone,