nom-greedyerror

Crates.ionom-greedyerror
lib.rsnom-greedyerror
version0.5.0
sourcesrc
created_at2019-10-16 03:22:34.275322
updated_at2023-03-23 00:26:21.178818
descriptionCustom error type to take a deepest error
homepage
repositoryhttps://github.com/dalance/nom-greedyerror
max_upload_size
id172868
size29,501
Naoya Hatta (dalance)

documentation

README

nom-greedyerror

Custom error type of nom to improve accuracy of error position.

Actions Status Crates.io Docs.rs

The default error types of nom ( (I, ErrorKind) and VerboseError ) take a last challenged error at alt combinator. Alternatively GreedyError of nom-greedyerror take a deepest error.

For example, the following parser accepts string like abc012abc or 012abc012.

alt((
    tuple((alpha1, digit1, alpha1)),
    tuple((digit1, alpha1, digit1)),
))(input)

If abc012::: is provided, we expect that the parse error happens at:

abc012:::
      ^

But VerboseError reports the parse error at:

abc012:::
^

This is because the last challenged parser is tuple((digit1, alpha1, digit1)) and it is failed. GreedyError reports the parse error at the expected position.

Requirement

nom must be 5.0.0 or later.

Usage

[dependencies]
nom-greedyerror = "0.5.0"

Example

use nom::branch::alt;
use nom::character::complete::{alpha1, digit1};
use nom::error::{ErrorKind, ParseError, VerboseError};
use nom::sequence::tuple;
use nom::Err::Error;
use nom::IResult;
use nom_greedyerror::{error_position, GreedyError, Position};
use nom_locate::LocatedSpan;

type Span<'a> = LocatedSpan<&'a str>;

fn parser<'a, E: ParseError<Span<'a>>>(
    input: Span<'a>,
) -> IResult<Span<'a>, (Span<'a>, Span<'a>, Span<'a>), E> {
    alt((
        tuple((alpha1, digit1, alpha1)),
        tuple((digit1, alpha1, digit1)),
    ))(input)
}

fn main() {
    // VerboseError failed at
    //   abc012:::
    //   ^
    let error = parser::<VerboseError<Span>>(Span::new("abc012:::"));
    dbg!(&error);
    match error {
        Err(Error(e)) => assert_eq!(e.errors.first().map(|x| x.0.position()), Some(0)),
        _ => (),
    };

    // GreedyError failed at
    //   abc012:::
    //         ^
    let error = parser::<GreedyError<Span, ErrorKind>>(Span::new("abc012:::"));
    dbg!(&error);
    match error {
        Err(Error(e)) => assert_eq!(error_position(&e), Some(6)),
        _ => (),
    };
}

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

Commit count: 30

cargo fmt