Trait cfg::rule_container::RuleContainer

pub trait RuleContainer: Sized {
    // Required methods
    fn sym_source(&self) -> &SymbolSource;
    fn sym_source_mut(&mut self) -> &mut SymbolSource;
    fn retain<F>(&mut self, f: F)
       where F: FnMut(RuleRef<'_>) -> bool;
    fn add_rule(&mut self, rule_ref: RuleRef<'_>);
    fn history_graph(&self) -> &HistoryGraph;
    fn add_history_node(&mut self, node: HistoryNode) -> NonZero<usize>;
    fn rules<'a>(&'a self) -> impl Iterator<Item = RuleRef<'a>>
       where Self: 'a;

    // Provided methods
    fn sym<const N: usize>(&mut self) -> [Symbol; N] { ... }
    fn next_sym(&mut self) -> Symbol { ... }
    fn num_syms(&self) -> usize { ... }
    fn rule(&mut self, lhs: Symbol) -> RuleBuilder<&mut Self> { ... }
    fn precedenced_rule(
        &mut self,
        lhs: Symbol,
    ) -> PrecedencedRuleBuilder<&mut Self> { ... }
    fn reverse(&self) -> Self
       where Self: Default { ... }
}

Trait for rule and symbol containers.

Required Methods

fn sym_source(&self) -> &SymbolSource

Returns an immutable reference to the grammar’s symbol source.

fn sym_source_mut(&mut self) -> &mut SymbolSource

Returns a mutable reference to the grammar’s symbol source.

fn retain<F>(&mut self, f: F)

where F: FnMut(RuleRef<'_>) -> bool,

Retains only the rules specified by the predicate.

In other words, removes all rules rule for which f(&rule) returns false.

fn add_rule(&mut self, rule_ref: RuleRef<'_>)

Inserts a rule with lhs and rhs on its LHS and RHS. The rule carries history.

fn history_graph(&self) -> &HistoryGraph

fn add_history_node(&mut self, node: HistoryNode) -> NonZero<usize>

fn rules<'a>(&'a self) -> impl Iterator<Item = RuleRef<'a>>

where Self: 'a,

Provided Methods

fn sym<const N: usize>(&mut self) -> [Symbol; N]

Returns generated symbols.

fn next_sym(&mut self) -> Symbol

Generates a new unique symbol.

fn num_syms(&self) -> usize

Returns the number of symbols in use.

fn rule(&mut self, lhs: Symbol) -> RuleBuilder<&mut Self>

Starts building a new rule.

fn precedenced_rule(&mut self, lhs: Symbol) -> PrecedencedRuleBuilder<&mut Self>

Starts building a new precedenced rule.

fn reverse(&self) -> Self

where Self: Default,

Reverses the grammar.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl RuleContainer for BinarizedGrammar

fn rules<'a>(&'a self) -> impl Iterator<Item = RuleRef<'a>>

where BinarizedGrammar: 'a,

fn history_graph(&self) -> &HistoryGraph

fn add_history_node(&mut self, node: HistoryNode) -> NonZero<usize>

fn sym_source(&self) -> &SymbolSource

fn sym_source_mut(&mut self) -> &mut SymbolSource

fn retain<F>(&mut self, f: F)

where F: FnMut(RuleRef<'_>) -> bool,

fn add_rule(&mut self, rule: RuleRef<'_>)

impl<'r, D> RuleContainer for &'r mut D

where D: RuleContainer,

fn reverse(&self) -> &'r mut D

where &'r mut D: Default,

Reverses the grammar.

fn sym_source(&self) -> &SymbolSource

fn sym_source_mut(&mut self) -> &mut SymbolSource

fn retain<F>(&mut self, f: F)

where F: FnMut(RuleRef<'_>) -> bool,

fn add_rule(&mut self, rule_ref: RuleRef<'_>)

fn add_history_node(&mut self, node: HistoryNode) -> NonZero<usize>

fn history_graph(&self) -> &HistoryGraph

fn rules<'a>(&'a self) -> impl Iterator<Item = RuleRef<'a>>

where &'r mut D: 'a,

Implementors

impl RuleContainer for BinarizedCfg

impl RuleContainer for Cfg