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

use std::collections::BTreeMap;
use maplit::btreemap;
use crate::ast::identifier::Identifier;
use crate::ast::type_expr::TypeExpr;
use crate::{declare_container_node, impl_container_node_defaults, node_child_fn, node_children_iter, node_children_iter_fn};
use crate::format::Writer;
use crate::r#type::Type;
use crate::traits::write::Write;

declare_container_node!(GenericsDeclaration,
    pub(crate) identifiers: Vec<usize>,
);

impl_container_node_defaults!(GenericsDeclaration);

node_children_iter!(GenericsDeclaration, Identifier, IdentifiersIter, identifiers);

impl GenericsDeclaration {

    node_children_iter_fn!(identifiers, IdentifiersIter);

    pub fn names(&self) -> Vec<&str> {
        self.identifiers().map(|i| i.name()).collect()
    }

    pub fn calculate_generics_map(&self, types: &Vec<Type>) -> BTreeMap<String, Type> {
        if self.identifiers.len() == types.len() {
            return self.identifiers().enumerate().map(|(index, identifier)| (identifier.name().to_owned(), types.get(index).unwrap().clone())).collect();
        }
        btreemap!{}
    }
}

declare_container_node!(GenericsConstraint, pub(crate) items: Vec<usize>);

impl_container_node_defaults!(GenericsConstraint);

node_children_iter!(GenericsConstraint, GenericsConstraintItem, ItemsIter, items);

impl GenericsConstraint {

    node_children_iter_fn!(items, ItemsIter);
}

declare_container_node!(GenericsConstraintItem, pub(crate) identifier: usize, pub(crate) type_expr: usize);

impl_container_node_defaults!(GenericsConstraintItem);

impl GenericsConstraintItem {

    node_child_fn!(identifier, Identifier);

    node_child_fn!(type_expr, TypeExpr);
}

impl Write for GenericsDeclaration {
    fn write<'a>(&'a self, writer: &mut Writer<'a>) {
        writer.write_children(self, self.children.values())
    }
}

impl Write for GenericsConstraint {
    fn write<'a>(&'a self, writer: &mut Writer<'a>) {
        writer.write_children(self, self.children.values())
    }
}

impl Write for GenericsConstraintItem {
    fn write<'a>(&'a self, writer: &mut Writer<'a>) {
        writer.write_children(self, self.children.values())
    }
}