repr 0.8.0

The regular-expression-as-linear-logic interpretation and its implementation
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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82

use repr::wrappers::seq;

macro_rules! assert_regex_eq {
    ($expr:expr, $rhs:literal) => {
        assert_eq!($expr.to_regex_string(), $rhs)
    };
}

#[test]
fn to_regex_string() {
    assert_regex_eq!(seq(['a']), "a");
    assert_regex_eq!(seq(['a']).mul(seq(['b'])), "ab");
    assert_regex_eq!(seq(['a']).mul(seq(['b'])).mul(seq(['c'])), "abc");
    assert_regex_eq!(seq(['a', 'b']), "ab");
    assert_regex_eq!(seq(['a', 'b', 'c']), "abc");
    assert_regex_eq!(seq(['a']).or(seq(['b'])), "(a|b)");
    assert_regex_eq!(seq(['a']).or(seq(['b'])).or(seq(['c'])), "(a|(b|c))");
    assert_regex_eq!(seq(['a']).mul(seq(['b', 'c'])), "abc");
    assert_regex_eq!(seq(['a']).mul(seq(['b', 'c', 'd'])), "abcd");
    assert_regex_eq!(seq(['a', 'b']).mul(seq(['c'])), "abc");
    assert_regex_eq!(seq(['a', 'b', 'c']).mul(seq(['d'])), "abcd");
    assert_regex_eq!(seq(['a']).inf(), "a*");
    assert_regex_eq!(seq(['a']).cap(), "(a)");
    assert_regex_eq!(seq(['a']).mul(seq(['b'])).cap(), "(ab)");
    assert_regex_eq!(seq(['a']).inf().cap(), "(a*)");
}

#[test]
fn escape() {
    assert_regex_eq!(seq(['+']), "\\+");
    assert_regex_eq!(seq(['*']), "\\*");
    assert_regex_eq!(seq(['?']), "\\?");
    assert_regex_eq!(seq(['.']), "\\.");
    assert_regex_eq!(seq(['(']), "\\(");
    assert_regex_eq!(seq([')']), "\\)");
    assert_regex_eq!(seq(['[']), "\\[");
    assert_regex_eq!(seq([']']), "\\]");
    assert_regex_eq!(seq(['{']), "\\{");
    assert_regex_eq!(seq(['}']), "\\}");
    assert_regex_eq!(seq(['^']), "\\^");
    assert_regex_eq!(seq(['$']), "\\$");
    assert_regex_eq!(seq(['|']), "\\|");
    assert_regex_eq!(seq(['\\']), "\\\\");
}

macro_rules! assert_captures {
    ($expr:expr, $rhs:literal) => {
        assert!($expr.captures($rhs).is_some());
    };
}

macro_rules! assert_not_captures {
    ($expr:expr, $rhs:literal) => {
        assert!($expr.captures($rhs).is_none());
    };
}

#[test]
fn captures() {
    assert_captures!(seq(['a']), "a");
    assert_not_captures!(seq(['a']), "aa");
    assert_captures!(seq(['a']).mul(seq(['b'])), "ab");
    assert_captures!(seq(['a']).mul(seq(['b'])).mul(seq(['c'])), "abc");
    assert_captures!(seq(['a', 'b']), "ab");
    assert_captures!(seq(['a', 'b', 'c']), "abc");
    assert_captures!(seq(['a']).or(seq(['b'])), "a");
    assert_captures!(seq(['a']).or(seq(['b'])), "b");
    assert_captures!(seq(['a']).or(seq(['b'])).or(seq(['c'])), "a");
    assert_captures!(seq(['a']).or(seq(['b'])).or(seq(['c'])), "b");
    assert_captures!(seq(['a']).or(seq(['b'])).or(seq(['c'])), "c");
    assert_captures!(seq(['a']).mul(seq(['b', 'c'])), "abc");
    assert_captures!(seq(['a']).mul(seq(['b', 'c', 'd'])), "abcd");
    assert_captures!(seq(['a', 'b']).mul(seq(['c'])), "abc");
    assert_captures!(seq(['a', 'b', 'c']).mul(seq(['d'])), "abcd");
    assert_captures!(seq(['a']).inf(), "");
    assert_captures!(seq(['a']).inf(), "a");
    assert_captures!(seq(['a']).inf(), "aa");
    assert_captures!(seq(['a']).inf(), "aaa");
    assert_captures!(seq(['a']).cap(), "a");
    assert_captures!(seq(['a']).mul(seq(['b'])).cap(), "ab");
    assert_captures!(seq(['a']).inf().cap(), "a");
}