hoars 0.2.0

A library for dealing with the HOA (Hanoi Omega Automata) file format.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

use chumsky::{Parser, Stream};

use crate::{build_error_report, lexer, FromHoaError, HoaAutomaton};

pub fn from_hoa(value: &str) -> Result<HoaAutomaton, FromHoaError> {
    if value.contains("--ABORT--") {
        return Err(FromHoaError::Abort);
    }
    let input = value;
    let start = std::time::Instant::now();
    let tokens = lexer::tokenizer()
        .parse(input)
        .map_err(|error_list| {
            build_error_report(
                input,
                error_list.into_iter().map(|err| err.map(|c| c.to_string())),
            )
        })
        .map_err(FromHoaError::LexerError)?;
    tracing::info!("Tokenization took {}µs", start.elapsed().as_micros());

    let length = input.chars().count();
    let start = std::time::Instant::now();
    let out = HoaAutomaton::parser()
        .parse(Stream::from_iter(length..length + 1, tokens.into_iter()))
        .map_err(|error_list| {
            build_error_report(
                input,
                error_list.into_iter().map(|err| err.map(|c| c.to_string())),
            )
        })
        .map_err(FromHoaError::ParserError);
    tracing::info!("Actual parsing took {}µs", start.elapsed().as_micros());
    out
}