Struct LexerSemIrCtx 

pub struct LexerSemIrCtx<'a, I>
where
    I: CharStream,
{ /* private fields */ }

SemIR evaluation adapter over a lexer, for grammar predicates and actions that the generator lowered into IR instead of a hook (issue #206).

Predicates get a shared borrow and evaluate at their speculative ATN coordinate, so lookahead and text-so-far are relative to position. Actions get a mutable borrow and run on the committed path, where mutating member state matches what a generated ANTLR lexer does in its own fields.

Implementations

impl<'a, I> LexerSemIrCtx<'a, I>

where I: CharStream,

pub const fn ctx_mut(&mut self) -> &mut LexerSemCtx<'a, I>

The underlying hook context, for callers that also dispatch hooks.

Trait Implementations

impl<I> ActContext for LexerSemIrCtx<'_, I>

where I: CharStream,

fn set_return(&mut self, _name: &str, _value: i64)

A lexer rule has no return fields; ignore rather than inventing state.

fn set_member(&mut self, member: usize, value: i64)

Writes an integer member slot.

fn push_member(&mut self, member: usize, value: i64)

Pushes onto a stack-valued member slot.

fn pop_member(&mut self, member: usize) -> Option<i64>

Pops a stack-valued member slot, returning the removed value. A no-op returning None when the stack is empty.

fn action_hook(&mut self, _hook: HookId)

Runs an externally implemented action hook.

impl<'a, I> Debug for LexerSemIrCtx<'a, I>

where I: CharStream + Debug,

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

Formats the value using the given formatter.

impl<I> PredContext for LexerSemIrCtx<'_, I>

where I: CharStream,

fn token_text(&mut self, _offset: isize) -> Option<Self::TokenText<'_>>

A lexer has no lookahead token; text predicates use crate::semir::PExpr::TokenTextSoFar instead.

fn hook(&mut self, _hook: HookId) -> bool

Hooks are dispatched by the caller, which owns the SemanticHooks object; an unrouted hook node declines rather than guessing.

type TokenText<'a> = String where Self: 'a

fn la(&mut self, offset: isize) -> i64

Token type (parser) or character (lexer) at the given lookahead.

fn token_index_adjacent(&mut self) -> bool

Whether LT(-2) and LT(-1) are adjacent token-stream entries.

fn ctx_rule_text(&self, _rule_index: usize) -> Option<String>

Text of the current context’s first child with this rule index.

fn member(&self, member: usize) -> Option<i64>

Integer member slot value.

fn member_top(&self, member: usize) -> Option<i64>

Top of a stack-valued member slot; None when empty or never pushed.

fn member_len(&self, member: usize) -> usize

Depth of a stack-valued member slot.

fn local_arg(&self) -> Option<i64>

Integer argument of the current rule invocation.

fn column(&self) -> Option<i64>

Lexer current character position within the line.

fn token_start_column(&self) -> Option<i64>

Lexer character position of the current token’s start.

fn token_text_so_far(&self) -> Option<String>

Lexer text matched so far for the in-progress token.

fn trace_bool(&mut self, value: bool) -> bool

Reports an observable predicate-evaluation template and returns value.