regexsolver 1.0.0

High-performance Rust library for building, combining, and analyzing regular expressions and finite automata
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
36
37
38
39
40
41
42
43
44
45
46
47

use std::{
    fs::File,
    io::{BufRead, BufReader},
};

use regex::Regex;
use regexsolver::{fast_automaton::GenerationOptions, regex::RegularExpression};

fn assert_regex(regex: &str) {
    let re = Regex::new(&format!("(?s)^{}$", regex)).unwrap();

    let regex = RegularExpression::parse(regex, true).unwrap();
    let automaton = regex.to_automaton().unwrap();
    let strings = automaton
        .generate_strings(500, 0, GenerationOptions::new())
        .unwrap();
    for string in strings {
        assert!(re.is_match(&string), "'{string}'");
    }

    let determinized_automaton = automaton.determinize().unwrap();
    let strings = determinized_automaton
        .generate_strings(500, 0, GenerationOptions::new())
        .unwrap();
    for string in strings {
        assert!(re.is_match(&string), "'{string}'");
    }

    assert!(automaton.subset(&determinized_automaton).unwrap());
    assert!(determinized_automaton.subset(&automaton).unwrap());
    assert!(automaton.equivalent(&determinized_automaton).unwrap());

    let regex_from_automaton = automaton.to_regex().unwrap();
    let automaton_from_regex = regex_from_automaton.to_automaton().unwrap();
    assert!(automaton.equivalent(&automaton_from_regex).unwrap());
}

#[test]
fn test_regular_expression_parsing() {
    let file = File::open("tests/data/regex.txt").unwrap();
    let reader = BufReader::new(file);
    for regex in reader.lines() {
        let regex = regex.unwrap();
        println!("{}", regex);
        assert_regex(&regex);
    }
}