uqa-core 0.3.6

Document sets, finite-support relations, posting storage, and value types for UQA
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
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108

//
// Unified Query Algebra
//
// Copyright (c) 2023-2026 Cognica, Inc.
//

use super::*;

#[test]
fn parse_single_label() {
    let e = parse_rpq("knows").unwrap();
    assert_eq!(e, RegularPathExpr::label("knows"));
}
#[test]
fn parse_concat() {
    let e = parse_rpq("knows/likes").unwrap();
    assert_eq!(
        e,
        RegularPathExpr::concat(
            RegularPathExpr::label("knows"),
            RegularPathExpr::label("likes")
        )
    );
}
#[test]
fn parse_alternation_lower_prec_than_concat() {
    let e = parse_rpq("a/b|c").unwrap();
    // a/b first, then alternated with c.
    assert_eq!(
        e,
        RegularPathExpr::alt(
            RegularPathExpr::concat(RegularPathExpr::label("a"), RegularPathExpr::label("b")),
            RegularPathExpr::label("c")
        )
    );
}
#[test]
fn parse_star_binds_tightest() {
    let e = parse_rpq("a*").unwrap();
    assert_eq!(e, RegularPathExpr::star(RegularPathExpr::label("a")));
}
#[test]
fn parse_bounded() {
    let e = parse_rpq("a{2,5}").unwrap();
    assert_eq!(
        e,
        RegularPathExpr::bounded(RegularPathExpr::label("a"), 2, 5)
    );
}
#[test]
fn parse_rejects_reversed_bound() {
    assert!(matches!(
        parse_rpq("a{5,2}"),
        Err(RPQParseError::MalformedBound(message)) if message.contains("exceeds")
    ));
}
#[test]
fn parse_grouping() {
    let e = parse_rpq("(a|b)*").unwrap();
    assert_eq!(
        e,
        RegularPathExpr::star(RegularPathExpr::alt(
            RegularPathExpr::label("a"),
            RegularPathExpr::label("b")
        ))
    );
}

#[test]
fn parse_preserves_unicode_labels_grouping_and_zero_length_bounds() {
    let actual = parse_rpq(" ( 친구 | follows ) / 知る{0,4294967295} ").unwrap();
    assert_eq!(
        actual,
        RegularPathExpr::concat(
            RegularPathExpr::alt(
                RegularPathExpr::label("친구"),
                RegularPathExpr::label("follows")
            ),
            RegularPathExpr::bounded(RegularPathExpr::label("知る"), 0, u32::MAX),
        )
    );
}

#[test]
fn parse_preserves_missing_operand_delimiter_and_bound_diagnostics() {
    for (source, error) in [
        ("", RPQParseError::Eof),
        ("a/", RPQParseError::Eof),
        ("a|", RPQParseError::Eof),
        ("(a", RPQParseError::MissingParen),
        (
            "a)",
            RPQParseError::Unexpected {
                position: 1,
                token: ")".into(),
            },
        ),
        ("a{", RPQParseError::MalformedBound("missing min".into())),
        ("a{1", RPQParseError::MalformedBound("expected ','".into())),
        ("a{1,", RPQParseError::MalformedBound("missing max".into())),
        (
            "a{1,2",
            RPQParseError::MalformedBound("expected '}'".into()),
        ),
    ] {
        assert_eq!(parse_rpq(source).unwrap_err(), error, "{source}");
    }
}