Struct Context 

pub struct Context<P, Data, StateIndex>
where
    P: Parser<Term = <Data as DataStack>::Term, NonTerm = <Data as DataStack>::NonTerm, StateIndex = StateIndex>,
    Data: DataStack,
{
    pub state_stack: Vec<StateIndex>,
    /* private fields */
}

A struct that maintains the current state and the values associated with each symbol.

Fields

state_stack: Vec<StateIndex>

stacks hold the values associated with each shifted symbol.

Implementations

impl<P, Data, StateIndex> Context<P, Data, StateIndex>

where P: Parser<Term = <Data as DataStack>::Term, NonTerm = <Data as DataStack>::NonTerm, StateIndex = StateIndex>, Data: DataStack, StateIndex: Index + Copy,

pub fn new( userdata: <Data as DataStack>::UserData, ) -> Context<P, Data, StateIndex>

Create a new context. state_stack is initialized with [0] (root state).

pub fn with_default_userdata() -> Context<P, Data, StateIndex>

where <Data as DataStack>::UserData: Default,

Create a new context using Default::default() as user data.

pub fn with_capacity( capacity: usize, userdata: <Data as DataStack>::UserData, ) -> Context<P, Data, StateIndex>

Create a new context with given capacity of state_stack and data_stack. state_stack is initialized with [0] (root state).

pub fn with_capacity_and_default_userdata( capacity: usize, ) -> Context<P, Data, StateIndex>

where <Data as DataStack>::UserData: Default,

Create a new context with capacity using Default::default() as user data.

pub fn userdata(&self) -> &<Data as DataStack>::UserData

Borrow the user data owned by this context.

pub fn userdata_all( &self, ) -> impl Iterator<Item = &<Data as DataStack>::UserData>

Borrow the user data owned by this context as an iterator.

pub fn userdata_mut(&mut self) -> &mut <Data as DataStack>::UserData

Mutably borrow the user data owned by this context.

pub fn userdata_all_mut( &mut self, ) -> impl Iterator<Item = &mut <Data as DataStack>::UserData>

Mutably borrow the user data owned by this context as an iterator.

pub fn accept( self, ) -> Result<(<Data as DataStack>::StartType, <Data as DataStack>::UserData), ParseError<<Data as DataStack>::Term, <Data as DataStack>::Location, <Data as DataStack>::ReduceActionError>>

where <Data as DataStack>::Term: Clone, <Data as DataStack>::NonTerm: Debug,

End this context and pop the value of the start symbol from the data stack.

pub fn accept_all( self, ) -> Result<impl Iterator<Item = (<Data as DataStack>::StartType, <Data as DataStack>::UserData)>, ParseError<<Data as DataStack>::Term, <Data as DataStack>::Location, <Data as DataStack>::ReduceActionError>>

where <Data as DataStack>::Term: Clone, <Data as DataStack>::NonTerm: Debug,

End this context and return an iterator with the start symbol and final user data.

pub fn can_accept(&self) -> bool

pub fn state(&self) -> usize

Get current state index

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

Get iterator of state stack

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

where <P as Parser>::TermClass: Ord, <P as Parser>::NonTerm: Ord,

Simulate parser and get next expected (terminals, non-terminals) for current context.

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

where <P as Parser>::TermClass: Ord, <P as Parser>::NonTerm: Ord,

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

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

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

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

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

where <P as Parser>::Term: Clone, <P as Parser>::NonTerm: Debug,

Feed one terminal with location to parser, and update stacks.

pub fn can_feed(&self, term: &<Data as DataStack>::Term) -> bool

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(&self) -> bool

Check if current context can enter panic mode

Trait Implementations

impl<P, Data, StateIndex> Clone for Context<P, Data, StateIndex>

where P: Parser<Term = <Data as DataStack>::Term, NonTerm = <Data as DataStack>::NonTerm, StateIndex = StateIndex>, Data: DataStack + Clone, StateIndex: Index + Copy, <Data as DataStack>::Term: Clone, <Data as DataStack>::NonTerm: Clone, <Data as DataStack>::UserData: Clone,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P, Data, StateIndex> Default for Context<P, Data, StateIndex>

where P: Parser<Term = <Data as DataStack>::Term, NonTerm = <Data as DataStack>::NonTerm, StateIndex = StateIndex>, Data: DataStack, StateIndex: Index + Copy, <Data as DataStack>::UserData: Default,

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

Returns the “default value” for a type.