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
86
87
88
89
90
91

//! Definition parsing tests.

use crate::{shot_cst, shot_error};

#[test]
fn simple_named_def() {
    shot_cst!(r#"
        Expr = (identifier)
    "#);
}

#[test]
fn named_def_with_alternation() {
    shot_cst!(r#"
        Value = [(identifier) (number) (string)]
    "#);
}

#[test]
fn named_def_with_sequence() {
    shot_cst!(r#"
        Pair = {(identifier) (expression)}
    "#);
}

#[test]
fn named_def_with_captures() {
    shot_cst!(r#"
        BinaryOp = (binary_expression
            left: (_) @left
            operator: _ @op
            right: (_) @right)
    "#);
}

#[test]
fn multiple_named_defs() {
    shot_cst!(r#"
        Expr = (expression)
        Stmt = (statement)
    "#);
}

#[test]
fn named_def_then_expression() {
    shot_error!(r#"
        Expr = [(identifier) (number)]
        (program (Expr) @value)
    "#);
}

#[test]
fn named_def_referencing_another() {
    shot_cst!(r#"
        Literal = [(number) (string)]
        Expr = [(identifier) (Literal)]
    "#);
}

#[test]
fn named_def_with_quantifier() {
    shot_cst!(r#"
        Statements = (statement)+
    "#);
}

#[test]
fn named_def_complex_recursive() {
    shot_cst!(r#"
        NestedCall = (call_expression
            function: [(identifier) @name (NestedCall) @inner]
            arguments: (arguments))
    "#);
}

#[test]
fn named_def_with_type_annotation() {
    shot_cst!(r#"
        Func = (function_declaration
            name: (identifier) @name :: string
            body: (_) @body)
    "#);
}

#[test]
fn unnamed_def_allowed_as_last() {
    shot_cst!(r#"
        Expr = (identifier)
        Q = (program (Expr) @value)
    "#);
}