typeql 3.11.0-rc0

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
113
114
115
116
117
118
119
120
121
122
123
124
125

/*
 * 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 super::{IntoChildNodes, Node, Rule, RuleMatcher, visit_identifier, visit_var};
use crate::{
    ScopedLabel,
    common::{Spanned, error::TypeQLError, token},
    type_::{BuiltinValueType, Label, NamedType, NamedTypeAny, NamedTypeList, NamedTypeOptional, TypeRef, TypeRefList},
};

pub(super) fn visit_type_ref(node: Node<'_>) -> TypeRef {
    debug_assert_eq!(node.as_rule(), Rule::type_ref);
    let child = node.into_child();
    match child.as_rule() {
        Rule::var => TypeRef::Variable(visit_var(child)),
        Rule::label => TypeRef::Label(visit_label(child)),
        Rule::label_scoped => TypeRef::Scoped(visit_label_scoped(child)),
        _ => unreachable!("{}", TypeQLError::IllegalGrammar { input: child.as_str().to_owned() }),
    }
}

pub(super) fn visit_type_ref_list(node: Node<'_>) -> TypeRefList {
    debug_assert_eq!(node.as_rule(), Rule::type_ref_list);
    let span = node.span();
    let inner = visit_type_ref(node.into_child());
    TypeRefList::new(span, inner)
}

pub(super) fn visit_named_type_any(node: Node<'_>) -> NamedTypeAny {
    debug_assert_eq!(node.as_rule(), Rule::named_type_any);
    let child = node.into_child();
    match child.as_rule() {
        Rule::named_type => NamedTypeAny::Simple(visit_named_type(child)),
        Rule::named_type_optional => NamedTypeAny::Optional(visit_named_type_optional(child)),
        Rule::named_type_list => NamedTypeAny::List(visit_named_type_list(child)),
        _ => unreachable!("{}", TypeQLError::IllegalGrammar { input: child.as_str().to_owned() }),
    }
}

pub(super) fn visit_named_type(node: Node<'_>) -> NamedType {
    debug_assert_eq!(node.as_rule(), Rule::named_type);
    let child = node.into_child();
    match child.as_rule() {
        Rule::label => NamedType::Label(visit_label(child)),
        Rule::value_type_primitive => NamedType::BuiltinValueType(visit_value_type_primitive(child)),
        _ => unreachable!("{}", TypeQLError::IllegalGrammar { input: child.as_str().to_owned() }),
    }
}

pub(super) fn visit_named_type_optional(node: Node<'_>) -> NamedTypeOptional {
    debug_assert_eq!(node.as_rule(), Rule::named_type_optional);
    let span = node.span();
    let inner = visit_named_type(node.into_child());
    NamedTypeOptional::new(span, inner)
}

pub(super) fn visit_named_type_list(node: Node<'_>) -> NamedTypeList {
    debug_assert_eq!(node.as_rule(), Rule::named_type_list);
    let span = node.span();
    let inner = visit_named_type(node.into_child());
    NamedTypeList::new(span, inner)
}

pub(super) fn visit_label(node: Node<'_>) -> Label {
    debug_assert_eq!(node.as_rule(), Rule::label);
    let span = node.span();
    let ident = visit_identifier(node.into_child());
    Label::new(span, ident)
}

pub(super) fn visit_label_list(node: Node<'_>) -> TypeRefList {
    debug_assert_eq!(node.as_rule(), Rule::label_list);
    let span = node.span();
    let inner = TypeRef::Label(visit_label(node.into_child()));
    TypeRefList::new(span, inner)
}

pub(super) fn visit_label_scoped(node: Node<'_>) -> ScopedLabel {
    debug_assert_eq!(node.as_rule(), Rule::label_scoped);
    let span = node.span();
    let mut children = node.into_children();
    let scope = visit_label(children.consume_expected(Rule::label));
    let name = visit_label(children.consume_expected(Rule::label));
    debug_assert_eq!(children.try_consume_any(), None);
    ScopedLabel::new(span, scope, name)
}

pub(super) fn visit_value_type(node: Node<'_>) -> NamedType {
    debug_assert_eq!(node.as_rule(), Rule::value_type);
    let child = node.into_child();
    match child.as_rule() {
        Rule::value_type_primitive => NamedType::BuiltinValueType(visit_value_type_primitive(child)),
        Rule::label => NamedType::Label(visit_label(child)),
        _ => unreachable!("{}", TypeQLError::IllegalGrammar { input: child.as_str().to_owned() }),
    }
}

pub(super) fn visit_value_type_optional(node: Node<'_>) -> NamedTypeOptional {
    debug_assert_eq!(node.as_rule(), Rule::value_type_optional);
    let span = node.span();
    let inner = visit_value_type(node.into_child());
    NamedTypeOptional::new(span, inner)
}

pub(super) fn visit_value_type_primitive(node: Node<'_>) -> BuiltinValueType {
    debug_assert_eq!(node.as_rule(), Rule::value_type_primitive);
    let span = node.span();
    let child = node.into_child();
    let token = match child.as_rule() {
        Rule::BOOLEAN => token::ValueType::Boolean,
        Rule::DATE => token::ValueType::Date,
        Rule::DATETIME => token::ValueType::DateTime,
        Rule::DATETIME_TZ => token::ValueType::DateTimeTZ,
        Rule::DECIMAL => token::ValueType::Decimal,
        Rule::DOUBLE => token::ValueType::Double,
        Rule::DURATION => token::ValueType::Duration,
        Rule::INTEGER => token::ValueType::Integer,
        Rule::STRING => token::ValueType::String,
        _ => unreachable!("{}", TypeQLError::IllegalGrammar { input: child.as_str().to_owned() }),
    };
    BuiltinValueType::new(span, token)
}