icydb-model 0.216.4

IcyDB application-model authoring, validation, and code generation
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

use crate::prelude::*;

///
/// Tuple
///

#[derive(Clone, Debug, Serialize)]
pub struct Tuple {
    def: Def,
    name: &'static str,
    values: &'static [Value],
    ty: Type,
}

impl Tuple {
    /// Creates a tuple node from its canonical schema parts.
    #[must_use]
    pub const fn new(def: Def, name: &'static str, values: &'static [Value], ty: Type) -> Self {
        Self {
            def,
            name,
            values,
            ty,
        }
    }

    /// Returns the definition metadata for this tuple node.
    #[must_use]
    pub const fn def(&self) -> &Def {
        &self.def
    }

    /// Returns the current declared type name.
    #[must_use]
    pub const fn name(&self) -> &'static str {
        self.name
    }

    /// Returns the tuple value descriptors.
    #[must_use]
    pub const fn values(&self) -> &'static [Value] {
        self.values
    }

    /// Returns the canonical runtime type descriptor.
    #[must_use]
    pub const fn ty(&self) -> &Type {
        &self.ty
    }
}

impl MacroNode for Tuple {
    fn as_any(&self) -> &dyn std::any::Any {
        self
    }
}

impl ValidateNode for Tuple {
    fn validate(&self) -> Result<(), ErrorTree> {
        let mut errs = ErrorTree::new();
        validate_source_name(
            &mut errs,
            "tuple type",
            self.name(),
            icydb_schema::TypeSourceKey::try_new,
        );
        errs.result()
    }
}

impl VisitableNode for Tuple {
    fn route_key(&self) -> String {
        self.def().path()
    }

    fn drive<V: Visitor>(&self, v: &mut V) {
        self.def().accept(v);
        for node in self.values() {
            node.accept(v);
        }
        self.ty().accept(v);
    }
}