icydb-model 0.217.0

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

//! Module: visitor::validate
//! Responsibility: validation visitor implementation over visitable trees.
//! Does not own: top-level validation entrypoints or issue aggregation policy.
//! Boundary: read-only visitor used by the crate-level validate surface.

use crate::visitor::{
    CallbackContext, CallbackIdentity, CallbackKind, Visitable, Visitor, VisitorContext,
};

///
/// ValidateVisitor
///
/// Walks a tree and applies validation at each node.
///

#[derive(Debug, Default)]
pub(crate) struct ValidateVisitor;

impl ValidateVisitor {
    #[must_use]
    pub(crate) const fn new() -> Self {
        Self
    }
}

impl Visitor for ValidateVisitor {
    fn enter(&mut self, node: &dyn Visitable, ctx: &mut dyn VisitorContext) {
        let type_identity = node.type_identity();
        let mut auto_context = CallbackContext::new(
            ctx,
            CallbackIdentity::new(CallbackKind::ValidateAuto, type_identity),
        );
        node.validate_self(&mut auto_context);

        let mut custom_context = CallbackContext::new(
            ctx,
            CallbackIdentity::new(CallbackKind::ValidateCustom, type_identity),
        );
        node.validate_custom(&mut custom_context);
    }

    fn exit(&mut self, _: &dyn Visitable, _: &mut dyn VisitorContext) {}
}