Enum liblet::production::ProductionPredicate

pub enum ProductionPredicate {
    LhsEquals(Vec<Symbol>),
    RhsEquals(Vec<Symbol>),
    RhsLengthEquals(usize),
    RhsIsSuffixOf(Vec<Symbol>),
}

A predicate for checking if production match some expected characteristics.

You can test a predicate on a Production by using the [test]: #method.test method.

Variants

LhsEquals(Vec<Symbol>)

It checks if the left hand side of the production equals the given ordered collection of symbols.

RhsEquals(Vec<Symbol>)

It checks if the right hand side of the production equals the given ordered collection of symbols.

RhsLengthEquals(usize)

It checks if the right hand side length (symbols count) of the production equals the given number.

RhsIsSuffixOf(Vec<Symbol>)

It checks if the right hand side of the production ends with the given ordered collection of symbols.

Methods

impl ProductionPredicate

pub fn test(&self, p: &Production) -> bool

Test if a production match the predicate

# Examples

use liblet::production::{ProductionPredicate, production};
use liblet::symbol::symbol;

// create a new production "A -> B C"
let p = production("A", "B C");
let rhs = vec![symbol("B"), symbol("C")];

assert!(ProductionPredicate::RhsEquals(rhs).test(&p));

Trait Implementations

impl Clone for ProductionPredicate

fn clone(&self) -> ProductionPredicate

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProductionPredicate

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

Formats the value using the given formatter.

impl Display for ProductionPredicate

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

Formats the value using the given formatter.

impl Eq for ProductionPredicate

impl Hash for ProductionPredicate

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl PartialEq<ProductionPredicate> for ProductionPredicate

fn eq(&self, other: &ProductionPredicate) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &ProductionPredicate) -> bool

This method tests for !=.

impl StructuralEq for ProductionPredicate

impl StructuralPartialEq for ProductionPredicate