plotnik-compiler 0.3.2

Compiler for Plotnik query language (parser, analyzer, bytecode emitter)
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

use crate::query::QueryAnalyzed;

#[test]
fn backreference_error() {
    let q = QueryAnalyzed::expect(r"Q = (identifier =~ /(.)\1/)");
    assert!(!q.is_valid());
    insta::assert_snapshot!(q.dump_diagnostics(), @r"
    error: backreferences are not supported in regex
      |
    1 | Q = (identifier =~ /(.)\1/)
      |                        ^^
    ");
}

#[test]
fn lookahead_error() {
    let q = QueryAnalyzed::expect(r"Q = (identifier =~ /foo(?=bar)/)");
    assert!(!q.is_valid());
    insta::assert_snapshot!(q.dump_diagnostics(), @r"
    error: lookahead/lookbehind is not supported in regex
      |
    1 | Q = (identifier =~ /foo(?=bar)/)
      |                         ^^
    ");
}

#[test]
fn lookbehind_error() {
    let q = QueryAnalyzed::expect(r"Q = (identifier =~ /(?<=foo)bar/)");
    assert!(!q.is_valid());
    insta::assert_snapshot!(q.dump_diagnostics(), @r"
    error: lookahead/lookbehind is not supported in regex
      |
    1 | Q = (identifier =~ /(?<=foo)bar/)
      |                      ^^^
    ");
}

#[test]
fn named_capture_error() {
    let q = QueryAnalyzed::expect(r"Q = (identifier =~ /(?P<name>foo)/)");
    assert!(!q.is_valid());
    insta::assert_snapshot!(q.dump_diagnostics(), @r"
    error: named captures are not supported in regex
      |
    1 | Q = (identifier =~ /(?P<name>foo)/)
      |                      ^^^^^^^^
    ");
}

#[test]
fn syntax_error() {
    let q = QueryAnalyzed::expect(r"Q = (identifier =~ /[/)");
    assert!(!q.is_valid());
    insta::assert_snapshot!(q.dump_diagnostics(), @r"
    error: invalid regex syntax: unclosed character class
      |
    1 | Q = (identifier =~ /[/)
      |                     ^
    ");
}

#[test]
fn empty_regex_error() {
    let q = QueryAnalyzed::expect(r"Q = (identifier =~ //)");
    assert!(!q.is_valid());
    insta::assert_snapshot!(q.dump_diagnostics(), @r"
    error: empty regex pattern
      |
    1 | Q = (identifier =~ //)
      |                    ^^
    ");
}

#[test]
fn valid_regex() {
    let q = QueryAnalyzed::expect(r"Q = (identifier =~ /^test_/)");
    assert!(q.is_valid());
}

#[test]
fn valid_string_predicate() {
    let q = QueryAnalyzed::expect(r#"Q = (identifier == "foo")"#);
    assert!(q.is_valid());
}