typeql 3.11.0

TypeQL Language for Rust
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
109
110
111
112

/*
 * This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at https://mozilla.org/MPL/2.0/.
 */

use itertools::Itertools;

use crate::{
    common::{Spanned, error::TypeQLError, identifier::Identifier},
    expression::Expression,
    parser::{
        IntoChildNodes, Node, Rule, RuleMatcher,
        expression::{visit_expression, visit_expression_function, visit_expression_list, visit_expression_value},
        statement::visit_comparison,
        visit_identifier, visit_var, visit_vars_assignment,
    },
    statement::{
        Assignment, AssignmentPattern, DeconstructField, InIterable, Is, Statement, StructDeconstruct,
        comparison::ComparisonStatement,
    },
};

pub fn visit_statement_assignment(node: Node<'_>) -> Assignment {
    debug_assert_eq!(node.as_rule(), Rule::statement_assignment);
    let span = node.span();
    let mut children = node.into_children();
    children.skip_expected(Rule::LET);
    let lhs = visit_assignment_left(children.consume_expected(Rule::assignment_left));
    children.skip_expected(Rule::ASSIGN);
    let rhs = visit_expression(children.consume_expected(Rule::expression));
    debug_assert_eq!(children.try_consume_any(), None);
    Assignment::new(span, lhs, rhs)
}

pub fn visit_assignment_left(node: Node<'_>) -> AssignmentPattern {
    debug_assert_eq!(node.as_rule(), Rule::assignment_left);
    let child = node.into_child();
    match child.as_rule() {
        Rule::vars_assignment => AssignmentPattern::Variables(visit_vars_assignment(child)),
        Rule::struct_destructor => AssignmentPattern::Deconstruct(visit_struct_destructor(child)),
        _ => unreachable!("{}", TypeQLError::IllegalGrammar { input: child.as_str().to_owned() }),
    }
}

fn visit_struct_destructor(node: Node<'_>) -> StructDeconstruct {
    debug_assert_eq!(node.as_rule(), Rule::struct_destructor);
    let span = node.span();
    let mut children = node.into_children();

    let field_map = children
        .by_ref()
        .tuple_windows()
        .map(|(key, value)| (visit_struct_key(key), visit_struct_destructor_value(value)))
        .collect();

    debug_assert_eq!(children.try_consume_any(), None);
    StructDeconstruct::new(span, field_map)
}

fn visit_struct_destructor_value(node: Node<'_>) -> DeconstructField {
    debug_assert_eq!(node.as_rule(), Rule::struct_destructor_value);
    let child = node.into_child();
    match child.as_rule() {
        Rule::var => DeconstructField::Variable(visit_var(child)),
        Rule::struct_destructor => DeconstructField::Deconstruct(visit_struct_destructor(child)),
        _ => unreachable!("{}", TypeQLError::IllegalGrammar { input: child.as_str().to_owned() }),
    }
}

fn visit_struct_key(node: Node<'_>) -> Identifier {
    debug_assert_eq!(node.as_rule(), Rule::struct_key);
    visit_identifier(node.into_child())
}

pub fn visit_statement_comparison(node: Node<'_>) -> ComparisonStatement {
    debug_assert_eq!(node.as_rule(), Rule::statement_comparison);
    let span = node.span();
    let mut children = node.into_children();
    let lhs = visit_expression_value(children.consume_expected(Rule::expression_value));
    let comparison = visit_comparison(children.consume_expected(Rule::comparison));
    debug_assert_eq!(children.try_consume_any(), None);
    ComparisonStatement::new(span, lhs, comparison)
}

pub fn visit_statement_is(node: Node<'_>) -> Is {
    debug_assert_eq!(node.as_rule(), Rule::statement_is);
    let span = node.span();
    let mut children = node.into_children();
    let lhs = visit_var(children.consume_expected(Rule::var));
    children.skip_expected(Rule::IS);
    let rhs = visit_var(children.consume_expected(Rule::var));
    debug_assert_eq!(children.try_consume_any(), None);
    Is::new(span, lhs, rhs)
}

pub fn visit_statement_in(node: Node<'_>) -> InIterable {
    debug_assert_eq!(node.as_rule(), Rule::statement_in);
    let span = node.span();
    let mut children = node.into_children();
    children.skip_expected(Rule::LET);
    let lhs = visit_vars_assignment(children.consume_expected(Rule::vars_assignment));
    children.skip_expected(Rule::IN);
    let child = children.consume_any();
    let rhs = match child.as_rule() {
        Rule::expression_function => Expression::Function(visit_expression_function(child)),
        Rule::expression_list => visit_expression_list(child),
        _ => unreachable!("{}", TypeQLError::IllegalGrammar { input: child.as_str().to_owned() }),
    };
    debug_assert_eq!(children.try_consume_any(), None);
    InIterable::new(span, lhs, rhs)
}