Struct wca::Verifier

pub struct Verifier;

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

let dictionary = Dictionary::former()
.command( Command::former().phrase( "command" ).form() )
.form();

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

let grammar_command = verifier.to_command( &dictionary, raw_command )?;

Implementations

impl Verifier

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

Converts raw program to grammatically correct

Converts all namespaces into it with to_namespace method.

pub fn to_command( &self, dictionary: &Dictionary, 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

impl Clone for Verifier

fn clone(&self) -> Verifier

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Verifier

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

Formats the value using the given formatter.