Struct LexerSemantics 

pub struct LexerSemantics {
    pub ir: SemIr,
    pub predicates: Vec<LexerSemanticPredicate>,
    pub actions: Vec<LexerSemanticAction>,
}

Data-driven lexer semantic tables emitted by generated lexers.

The lexer analog of crate::ParserSemantics. Grammars whose @lexer::members state and inline actions/predicates the generator could lower need no hand-written hooks at all (issue #206).

Fields

ir: SemIr

predicates: Vec<LexerSemanticPredicate>

actions: Vec<LexerSemanticAction>

Implementations

impl LexerSemantics

pub fn eval_predicate<I>( &self, lexer: &BaseLexer<I>, predicate: LexerPredicate, ) -> Option<bool>

where I: CharStream,

Evaluates a lowered predicate coordinate, or None when this table has no entry for it (the caller then falls back to hooks / policy).

pub fn exec_action<I>( &self, lexer: &mut BaseLexer<I>, action: LexerCustomAction, ) -> bool

where I: CharStream,

Executes a lowered action coordinate, reporting whether this table owned it.

Trait Implementations

impl Clone for LexerSemantics

fn clone(&self) -> LexerSemantics

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LexerSemantics

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

Formats the value using the given formatter.

impl Default for LexerSemantics

fn default() -> LexerSemantics

Returns the “default value” for a type.

impl Eq for LexerSemantics

impl PartialEq for LexerSemantics

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LexerSemantics