Struct Atn 

pub struct Atn { /* private fields */ }

Deserialized ANTLR Abstract Transition Network.

The structure keeps the state graph plus ANTLR side tables such as rule-to-start, rule-to-token, mode-to-start, decisions, and lexer actions. The side tables are part of the runtime contract because generated grammars should only need to provide metadata; simulation stays in this crate.

Implementations

impl Atn

pub const fn new(grammar_type: AtnType, max_token_type: i32) -> Self

Creates an empty ATN with the grammar kind and maximum token type read from the serialized header.

pub const fn grammar_type(&self) -> AtnType

pub const fn max_token_type(&self) -> i32

pub fn states(&self) -> &[AtnState]

pub fn state(&self, state_number: usize) -> Option<&AtnState>

pub fn state_mut(&mut self, state_number: usize) -> Option<&mut AtnState>

pub fn add_state(&mut self, state: AtnState) -> usize

Appends a state and returns the state number assigned by insertion order.

pub fn decision_to_state(&self) -> &[usize]

pub fn add_decision_state(&mut self, state_number: usize)

pub fn rule_to_start_state(&self) -> &[usize]

pub fn set_rule_to_start_state(&mut self, rule_to_start_state: Vec<usize>)

pub fn rule_to_stop_state(&self) -> &[usize]

pub fn set_rule_to_stop_state(&mut self, rule_to_stop_state: Vec<usize>)

pub fn rule_to_token_type(&self) -> &[i32]

pub fn set_rule_to_token_type(&mut self, rule_to_token_type: Vec<i32>)

pub fn mode_to_start_state(&self) -> &[usize]

pub fn add_mode_start_state(&mut self, state_number: usize)

pub fn lexer_actions(&self) -> &[LexerAction]

pub fn set_lexer_actions(&mut self, lexer_actions: Vec<LexerAction>)

Trait Implementations

impl Clone for Atn

fn clone(&self) -> Atn

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Atn

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

Formats the value using the given formatter.

impl PartialEq for Atn

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Atn

impl StructuralPartialEq for Atn