Struct mech_syntax::parser::ParseError

pub struct ParseError<'a> {
    pub cause_range: SourceRange,
    pub remaining_input: ParseString<'a>,
    pub error_detail: ParseErrorDetail,
}

The error type for the nom parser, which handles full error context (location + detail) and ownership of the input ParseString.

Eventually error context will be logged and ownership will be moved out.

Fields

cause_range: SourceRange

Cause range is defined as [start, end), where start points at the first character that’s catched by a label, and end points at the next character of the character that didn’t match.

Example: index: 1234567 input: abcdefg error: ~~~^ range: | | [2, 5)

remaining_input: ParseString<'a>

Hold ownership to the input ParseString

error_detail: ParseErrorDetail

Detailed information about this error

Implementations

impl<'a> ParseError<'a>

pub fn new(input: ParseString<'a>, msg: &'static str) -> Self

Create a new error at current location of the input, with given message and empty annotations. Ownership of the input is also passed into this error object.

Trait Implementations

impl<'a> Clone for ParseError<'a>

fn clone(&self) -> ParseError<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for ParseError<'a>

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

Formats the value using the given formatter.

impl<'a> ParseError<ParseString<'a>> for ParseError<'a>

Required by nom

fn from_error_kind(input: ParseString<'a>, _kind: ErrorKind) -> Self

Not used, unless we have logical error

fn append(_input: ParseString<'a>, _kind: ErrorKind, other: Self) -> Self

Probably not used

fn or(self, other: Self) -> Self

Barely used, but we do want to keep the error with larger depth.

fn from_char(input: I, _: char) -> Self

Creates an error from an input position and an expected character