Struct LL1Parser

pub struct LL1Parser<'a, State, Char, Output> { /* private fields */ }

LL(1)構文解析器

Implementations

impl<'a, State, Char, Output> LL1Parser<'a, State, Char, Output>

where State: Copy + Eq + Hash, Char: Copy + Eq,

pub fn new() -> Self

LL1Parserを生成する。

pub fn add_rule<F1, FP>(&mut self, state: State, check_first: F1, proc: FP)

where F1: 'a + Fn(Char) -> bool, FP: 'a + Fn(&Self, &mut Input<Char>) -> Option<Output>,

規則: $\mathtt{state} \rightarrow \alpha $ を導入する。

$\alpha$はprocで解析される部分。

$\alpha$の先頭はcheck_first(c)を満たす。

pub fn add_rule_empty<FP>(&mut self, state: State, proc: FP)

where FP: 'a + Fn(&Self, &mut Input<Char>) -> Option<Output>,

規則: $\mathtt{state} \rightarrow \varepsilon$ を導入する。

pub fn parse(&self, state: State, input: &mut Input<Char>) -> Option<Output>

stateを開始状態として、inputを構文解析する。

Trait Implementations

impl<'a, State: Default, Char: Default, Output: Default> Default for LL1Parser<'a, State, Char, Output>

fn default() -> LL1Parser<'a, State, Char, Output>

Returns the “default value” for a type.