Enum lrpar::LexParseError

source ·
pub enum LexParseError<StorageT: 'static + Debug + Hash + PrimInt + Unsigned, LexerTypesT: LexerTypes<StorageT = StorageT>>
where usize: AsPrimitive<StorageT>,
{ LexError(LexerTypesT::LexErrorT), ParseError(ParseError<LexerTypesT::LexemeT, StorageT>), }
Expand description

A lexing or parsing error. Although the two are quite distinct in terms of what can be reported to users, both can (at least conceptually) occur at any point of the intertwined lexing/parsing process.

Variants§

§

LexError(LexerTypesT::LexErrorT)

§

ParseError(ParseError<LexerTypesT::LexemeT, StorageT>)

Implementations§

source§

impl<StorageT: Debug + Hash + PrimInt + Unsigned, LexerTypesT: LexerTypes<StorageT = StorageT>> LexParseError<StorageT, LexerTypesT>
where usize: AsPrimitive<StorageT>,

source

pub fn pp<'a>( &self, lexer: &dyn NonStreamingLexer<'_, LexerTypesT>, epp: &dyn Fn(TIdx<StorageT>) -> Option<&'a str> ) -> String

A pretty-printer of a lexer/parser error. This isn’t suitable for all purposes, but it’s often good enough. The output format is not guaranteed to be stable but is likely to be of the form:

Parsing error at line 3 column 8. Repair sequences found:
  1: Insert ID
  2: Delete +, Shift 3

If you are using the compile-time parse system, your grm_y module exposes a suitable epp function; if you are using the run-time system, YaccGrammar exposes a suitable epp function, though you will have to wrap it in a closure e.g. &|t| grm.token_epp(t).

Trait Implementations§

source§

impl<StorageT: Debug + 'static + Debug + Hash + PrimInt + Unsigned, LexerTypesT: Debug + LexerTypes<StorageT = StorageT>> Debug for LexParseError<StorageT, LexerTypesT>
where usize: AsPrimitive<StorageT>, LexerTypesT::LexErrorT: Debug, LexerTypesT::LexemeT: Debug,

source§

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

Formats the value using the given formatter. Read more
source§

impl<StorageT: 'static + Debug + Hash + PrimInt + Unsigned, LexerTypesT: LexerTypes<StorageT = StorageT>> Display for LexParseError<StorageT, LexerTypesT>
where usize: AsPrimitive<StorageT>,

source§

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

Formats the value using the given formatter. Read more
source§

impl<StorageT: 'static + Debug + Hash + PrimInt + Unsigned, LexerTypesT: LexerTypes<StorageT = StorageT>> Error for LexParseError<StorageT, LexerTypesT>
where usize: AsPrimitive<StorageT>,

1.30.0 · source§

fn source(&self) -> Option<&(dyn Error + 'static)>

The lower-level source of this error, if any. Read more
1.0.0 · source§

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()
1.0.0 · source§

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting
source§

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)
Provides type based access to context intended for error reports. Read more
source§

impl<StorageT: 'static + Debug + Hash + PrimInt + Unsigned, LexerTypesT: LexerTypes<StorageT = StorageT>> From<ParseError<<LexerTypesT as LexerTypes>::LexemeT, StorageT>> for LexParseError<StorageT, LexerTypesT>
where usize: AsPrimitive<StorageT>,

source§

fn from( err: ParseError<LexerTypesT::LexemeT, StorageT> ) -> LexParseError<StorageT, LexerTypesT>

Converts to this type from the input type.
source§

impl<StorageT: 'static + Debug + Hash + PrimInt + Unsigned, LexerTypesT: LexerTypes<StorageT = StorageT, LexErrorT = T>, T: LexError> From<T> for LexParseError<StorageT, LexerTypesT>
where usize: AsPrimitive<StorageT>,

source§

fn from(err: T) -> LexParseError<StorageT, LexerTypesT>

Converts to this type from the input type.

Auto Trait Implementations§

§

impl<StorageT, LexerTypesT> RefUnwindSafe for LexParseError<StorageT, LexerTypesT>
where StorageT: RefUnwindSafe, <LexerTypesT as LexerTypes>::LexErrorT: RefUnwindSafe, <LexerTypesT as LexerTypes>::LexemeT: RefUnwindSafe,

§

impl<StorageT, LexerTypesT> Send for LexParseError<StorageT, LexerTypesT>
where StorageT: Send, <LexerTypesT as LexerTypes>::LexErrorT: Send, <LexerTypesT as LexerTypes>::LexemeT: Send,

§

impl<StorageT, LexerTypesT> Sync for LexParseError<StorageT, LexerTypesT>
where StorageT: Sync, <LexerTypesT as LexerTypes>::LexErrorT: Sync, <LexerTypesT as LexerTypes>::LexemeT: Sync,

§

impl<StorageT, LexerTypesT> Unpin for LexParseError<StorageT, LexerTypesT>
where StorageT: Unpin, <LexerTypesT as LexerTypes>::LexErrorT: Unpin, <LexerTypesT as LexerTypes>::LexemeT: Unpin,

§

impl<StorageT, LexerTypesT> UnwindSafe for LexParseError<StorageT, LexerTypesT>
where StorageT: UnwindSafe, <LexerTypesT as LexerTypes>::LexErrorT: UnwindSafe, <LexerTypesT as LexerTypes>::LexemeT: UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToString for T
where T: Display + ?Sized,

source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.