Struct Context 

pub struct Context<Data, StateIndex, const MAX_REDUCE_RULES: usize>
where
    Data: DataStack,
{ /* private fields */ }

A struct that maintains the current state and the values associated with each symbol. This handles the divergence and merging of the parser.

Implementations

impl<Data, StateIndex, const MAX_REDUCE_RULES: usize> Context<Data, StateIndex, MAX_REDUCE_RULES>

where Data: DataStack, StateIndex: Index,

pub fn new() -> Context<Data, StateIndex, MAX_REDUCE_RULES>

Create a new context. current_nodes is initialized with a root node.

pub fn node(&self, node: usize) -> &Node<Data, StateIndex>

pub fn node_mut(&mut self, node: usize) -> &mut Node<Data, StateIndex>

pub fn debug_check(&self)

for debugging; checks for memory leak, not freed nodes, etc.

pub fn states(&self) -> impl Iterator<Item = usize>

Get current states in every diverged paths.

pub fn state_stacks(&self) -> impl Iterator<Item = impl Iterator<Item = usize>>

Get iterators of state stacks in all diverged paths.

pub fn len_paths(&self) -> usize

Get number of diverged paths

pub fn is_empty(&self) -> bool

Is there any path alive?

pub fn accept<P>( self, parser: &P, userdata: &mut <Data as DataStack>::UserData, ) -> Result<impl Iterator<Item = <Data as DataStack>::StartType>, ParseError<<Data as DataStack>::Term, <Data as DataStack>::Location, <Data as DataStack>::ReduceActionError>>

where P: Parser<Term = <Data as DataStack>::Term, NonTerm = <Data as DataStack>::NonTerm>, Data: Clone, <P as Parser>::Term: Clone, <P as Parser>::NonTerm: Debug, <P as Parser>::State: State<StateIndex = StateIndex>,

End this context and return iterator of the start value from the data stack.

pub fn trace<P>( &self, parser: &P, ) -> HashSet<<Data as DataStack>::NonTerm, FxBuildHasher>

where P: Parser<Term = <Data as DataStack>::Term, NonTerm = <Data as DataStack>::NonTerm>, <Data as DataStack>::NonTerm: Copy + Eq + Hash + NonTerminal,

Get set of %trace non-terminal symbols that current context is trying to parse.

The order of the returned set does not mean anything. If the current context is attempting to recognize following grammar:

Chunk -> Statement -> IfStatement -> ReturnStatement -> …

Then the returned set will be: [Chunk, Statement, IfStatement, ReturnStatement]

pub fn backtraces<'a, P>( &'a self, parser: &'a P, ) -> impl Iterator<Item = Backtrace<<P as Parser>::TermClass, <P as Parser>::NonTerm>> + 'a

where P: Parser<Term = <Data as DataStack>::Term, NonTerm = <Data as DataStack>::NonTerm>, <Data as DataStack>::Term: Clone, <Data as DataStack>::NonTerm: Hash + Eq,

Get backtrace infos for all paths.

pub fn expected_token<P>( &self, parser: &P, ) -> (BTreeSet<<P as Parser>::TermClass>, BTreeSet<<P as Parser>::NonTerm>)

where P: Parser<Term = <Data as DataStack>::Term, NonTerm = <Data as DataStack>::NonTerm>, <P as Parser>::TermClass: Ord, <P as Parser>::NonTerm: Ord, <P as Parser>::State: State<StateIndex = StateIndex>,

Get next expected (terminals, non-terminals) for current context.

pub fn expected_token_str<'a, P>( &self, parser: &P, ) -> (impl Iterator<Item = &'static str>, impl Iterator<Item = &'static str>)

where P: Parser<Term = <Data as DataStack>::Term, NonTerm = <Data as DataStack>::NonTerm>, <P as Parser>::TermClass: Ord, <P as Parser>::NonTerm: Ord, <P as Parser>::State: State<StateIndex = StateIndex>,

Same as expected_token(), but returns as printable type.

pub fn feed<P>( &mut self, parser: &P, term: <Data as DataStack>::Term, userdata: &mut <Data as DataStack>::UserData, ) -> Result<(), ParseError<<Data as DataStack>::Term, <Data as DataStack>::Location, <Data as DataStack>::ReduceActionError>>

where P: Parser<Term = <Data as DataStack>::Term, NonTerm = <Data as DataStack>::NonTerm>, <P as Parser>::Term: Clone, <P as Parser>::NonTerm: Debug, <P as Parser>::State: State<StateIndex = StateIndex>, Data: Clone, <Data as DataStack>::Location: Default,

Feed one terminal to parser, and update stacks. This will use Default::default() for location.

pub fn feed_location<P>( &mut self, parser: &P, term: <P as Parser>::Term, userdata: &mut <Data as DataStack>::UserData, location: <Data as DataStack>::Location, ) -> Result<(), ParseError<<Data as DataStack>::Term, <Data as DataStack>::Location, <Data as DataStack>::ReduceActionError>>

where P: Parser<Term = <Data as DataStack>::Term, NonTerm = <Data as DataStack>::NonTerm>, <P as Parser>::Term: Clone, <P as Parser>::NonTerm: Debug, <P as Parser>::State: State<StateIndex = StateIndex>, Data: Clone,

Feed one terminal with location to parser, and update state stack.

pub fn can_feed<P>(&self, parser: &P, term: &<P as Parser>::Term) -> bool

where P: Parser<Term = <Data as DataStack>::Term, NonTerm = <Data as DataStack>::NonTerm>, <P as Parser>::State: State<StateIndex = StateIndex>,

Check if term can be feeded to current state. This does not simulate for reduce action error, or panic mode. So this function will return false even if term can be shifted as error token, and will return true if Err variant is returned by reduce_action.

pub fn can_panic<P>(&self, parser: &P) -> bool

where P: Parser<Term = <Data as DataStack>::Term, NonTerm = <Data as DataStack>::NonTerm>, <P as Parser>::State: State<StateIndex = StateIndex>,

Check if current context can enter panic mode.

pub fn can_accept<P>(&self, parser: &P) -> bool

where P: Parser<Term = <Data as DataStack>::Term, NonTerm = <Data as DataStack>::NonTerm>, <P as Parser>::State: State<StateIndex = StateIndex>,

Check if current context can be terminated and get the start value.

Trait Implementations

impl<Data, StateIndex, const MAX_REDUCE_RULES: usize> Clone for Context<Data, StateIndex, MAX_REDUCE_RULES>

where Data: DataStack, StateIndex: Index, Node<Data, StateIndex>: Clone,

fn clone(&self) -> Context<Data, StateIndex, MAX_REDUCE_RULES>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Data, StateIndex, const MAX_REDUCE_RULES: usize> Default for Context<Data, StateIndex, MAX_REDUCE_RULES>

where Data: DataStack, StateIndex: Index,

fn default() -> Context<Data, StateIndex, MAX_REDUCE_RULES>

Returns the “default value” for a type.