Struct rustemo::LRParser

pub struct LRParser<'i, C: Context<'i, I, S, TK>, S: State, P, TK: Default, NTK, D: ParserDefinition<S, P, TK, NTK>, L: Lexer<'i, C, S, TK, Input = I>, B, I: Input + ?Sized> { /* private fields */ }

An implementation of LR parsing

Implementations

impl<'i, C, S, P, I, TK, NTK, D, L, B> LRParser<'i, C, S, P, TK, NTK, D, L, B, I>

where C: Context<'i, I, S, TK>, S: State, I: Input + ?Sized, TK: Default, D: ParserDefinition<S, P, TK, NTK>, L: Lexer<'i, C, S, TK, Input = I>, B: LRBuilder<'i, I, C, S, P, TK>,

pub fn new( definition: &'i D, state: S, partial_parse: bool, has_layout: bool, lexer: L, builder: B ) -> Self

pub fn location_str(&self, file: &str, location: Location) -> String

Trait Implementations

impl<'i, C, S, P, I, TK, NTK, D, L, B> Parser<'i, I, C, S, TK> for LRParser<'i, C, S, P, TK, NTK, D, L, B, I>

where C: Context<'i, I, S, TK> + Default, S: State + Debug, P: Debug + Copy + Into<NTK>, I: Input + ?Sized + Debug + 'i, TK: Debug + Copy + Default + PartialEq + 'i, D: ParserDefinition<S, P, TK, NTK>, L: Lexer<'i, C, S, TK, Input = I>, B: LRBuilder<'i, I, C, S, P, TK>,

type Output = <B as Builder>::Output

fn parse(&self, input: &'i I) -> Result<Self::Output>

Parse the given input and produce the result. The output type is set by the parser implementers and it is usually defined by the builder if the building is done during the parse process.

fn parse_with_context( &self, context: &mut C, input: &'i I ) -> Result<Self::Output>

Parse with the given context which has information about the current parsing state (e.g. position, location). Used in situation when we need to continue parsing from a specific state, like in parsing the layout from the current location.

fn parse_file<'a, F: AsRef<Path>>(&'a mut self, file: F) -> Result<Self::Output>

where 'a: 'i,

A convenience method for loading the content from the given file and calling parse. The parser will own the content being parsed and thus has to outlive Self::Output if it borrows from the content loaded from the file.