teo-parser 0.3.0

Parser for Teo schema language
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
126
127
128
129
130
131
132
133
134

use maplit::btreemap;
use crate::availability::Availability;
use crate::ast::pipeline_item_declaration::{PipelineItemDeclaration, PipelineItemDeclarationVariant};
use crate::resolver::resolve_argument_list_declaration::resolve_argument_list_declaration;
use crate::resolver::resolve_generics::{resolve_generics_constraint, resolve_generics_declaration};
use crate::resolver::resolve_type_expr::resolve_type_expr;
use crate::resolver::resolver_context::ResolverContext;

pub(super) fn resolve_pipeline_item_declaration_references<'a>(pipeline_item_declaration: &'a PipelineItemDeclaration, context: &'a ResolverContext<'a>) {
    if let Some(generics_declaration) = pipeline_item_declaration.generics_declaration() {
        resolve_generics_declaration(generics_declaration, &vec![], context);
        if let Some(generics_constraint) = pipeline_item_declaration.generics_constraint() {
            resolve_generics_constraint(generics_constraint, context, generics_declaration, pipeline_item_declaration.define_availability);
        }
    }
    if let Some(argument_list_declaration) = pipeline_item_declaration.argument_list_declaration() {
        resolve_argument_list_declaration(
            argument_list_declaration,
            &if let Some(generics_declaration) = pipeline_item_declaration.generics_declaration() {
                vec![generics_declaration]
            } else {
                vec![]
            },
            &if let Some(generics_constraint) = pipeline_item_declaration.generics_constraint() {
                vec![generics_constraint]
            } else {
                vec![]
            },
            context,
            pipeline_item_declaration.define_availability,
        );
    }
    if let Some(input_type) = pipeline_item_declaration.input_type() {
        resolve_type_expr(
            input_type,
            &if let Some(generics_declaration) = pipeline_item_declaration.generics_declaration() {
                vec![generics_declaration]
            } else {
                vec![]
            },
            &if let Some(generics_constraint) = pipeline_item_declaration.generics_constraint() {
                vec![generics_constraint]
            } else {
                vec![]
            },
            &btreemap!{},
            context,
            pipeline_item_declaration.define_availability,
        );
    }
    if let Some(output_type) = pipeline_item_declaration.output_type() {
        resolve_type_expr(
            output_type,
            &if let Some(generics_declaration) = pipeline_item_declaration.generics_declaration() {
                vec![generics_declaration]
            } else {
                vec![]
            },
            &if let Some(generics_constraint) = pipeline_item_declaration.generics_constraint() {
                vec![generics_constraint]
            } else {
                vec![]
            },
            &btreemap!{},
            context,
            pipeline_item_declaration.define_availability,
        );
    }
    for variant in pipeline_item_declaration.variants() {
        resolve_pipeline_item_declaration_variant(variant, context, pipeline_item_declaration.define_availability);
    }
}

fn resolve_pipeline_item_declaration_variant<'a>(
    pipeline_item_declaration_variant: &'a PipelineItemDeclarationVariant,
    context: &'a ResolverContext<'a>,
    availability: Availability,
) {
    if let Some(generics_declaration) = pipeline_item_declaration_variant.generics_declaration() {
        resolve_generics_declaration(generics_declaration, &vec![], context);
        if let Some(generics_constraint) = pipeline_item_declaration_variant.generics_constraint() {
            resolve_generics_constraint(generics_constraint, context, generics_declaration, availability);
        }
    }
    if let Some(argument_list_declaration) = pipeline_item_declaration_variant.argument_list_declaration() {
        resolve_argument_list_declaration(
            argument_list_declaration,
            &if let Some(generics_declaration) = pipeline_item_declaration_variant.generics_declaration() {
                vec![generics_declaration]
            } else {
                vec![]
            },
            &if let Some(generics_constraint) = pipeline_item_declaration_variant.generics_constraint() {
                vec![generics_constraint]
            } else {
                vec![]
            },
            context,
            availability,
        );
    }
    resolve_type_expr(
        pipeline_item_declaration_variant.input_type(),
        &if let Some(generics_declaration) = pipeline_item_declaration_variant.generics_declaration() {
            vec![generics_declaration]
        } else {
            vec![]
        },
        &if let Some(generics_constraint) = pipeline_item_declaration_variant.generics_constraint() {
            vec![generics_constraint]
        } else {
            vec![]
        },
        &btreemap! {},
        context,
        availability
    );
    resolve_type_expr(
        pipeline_item_declaration_variant.output_type(),
        &if let Some(generics_declaration) = pipeline_item_declaration_variant.generics_declaration() {
            vec![generics_declaration]
        } else {
            vec![]
        },
        &if let Some(generics_constraint) = pipeline_item_declaration_variant.generics_constraint() {
            vec![generics_constraint]
        } else {
            vec![]
        },
        &btreemap! {},
        context,
        availability
    );
}