mx20022_validate/schema/
mod.rs

1//! Schema-level validation.
2//!
3//! This module provides the thin orchestration layer that drives field-level
4//! constraint checking through the [`RuleRegistry`]. The actual rule logic lives
5//! in [`crate::rules`]; the constraint definitions for a particular message schema
6//! are expressed as [`constraints::ConstraintSet`] instances.
7//!
8//! # Design
9//!
10//! ```text
11//! ConstraintSet ──► RuleRegistry ──► Rule::validate()
12//!                                         │
13//!                                         ▼
14//!                                  Vec<ValidationError>
15//! ```
16//!
17//! [`SchemaValidator`] wraps a [`ConstraintSet`] + [`RuleRegistry`] pair and
18//! exposes a single [`SchemaValidator::validate_field`] entry-point.
19
20pub mod constraints;
21
22use crate::error::ValidationResult;
23use crate::rules::RuleRegistry;
24use constraints::ConstraintSet;
25
26/// Orchestrates schema-level validation for a message type.
27///
28/// # Examples
29///
30/// ```
31/// use mx20022_validate::schema::{SchemaValidator};
32/// use mx20022_validate::schema::constraints::{ConstraintSet, FieldConstraint};
33/// use mx20022_validate::rules::RuleRegistry;
34///
35/// let mut cs = ConstraintSet::new();
36/// cs.add(FieldConstraint::new("/Document/GrpHdr/MsgId", ["MAX_LENGTH"]));
37///
38/// let validator = SchemaValidator::new(cs, RuleRegistry::with_defaults());
39/// let result = validator.validate_field("/Document/GrpHdr/MsgId", "ABC123");
40/// assert!(result.is_valid());
41/// ```
42pub struct SchemaValidator {
43    constraints: ConstraintSet,
44    registry: RuleRegistry,
45}
46
47impl SchemaValidator {
48    /// Create a new `SchemaValidator` from a constraint set and rule registry.
49    pub fn new(constraints: ConstraintSet, registry: RuleRegistry) -> Self {
50        Self {
51            constraints,
52            registry,
53        }
54    }
55
56    /// Create a `SchemaValidator` with an empty constraint set and the default rule registry.
57    pub fn with_defaults() -> Self {
58        Self::new(ConstraintSet::new(), RuleRegistry::with_defaults())
59    }
60
61    /// Validate a single field value at the given path.
62    ///
63    /// Returns a [`ValidationResult`] with any findings from constraints registered
64    /// for this path. If no constraints are registered for the path the result is
65    /// unconditionally valid.
66    pub fn validate_field(&self, path: &str, value: &str) -> ValidationResult {
67        self.constraints.validate_field(path, value, &self.registry)
68    }
69
70    /// Validate multiple `(path, value)` pairs and merge all findings.
71    pub fn validate_fields<'a>(
72        &self,
73        fields: impl IntoIterator<Item = (&'a str, &'a str)>,
74    ) -> ValidationResult {
75        let mut result = ValidationResult::default();
76        for (path, value) in fields {
77            result.merge(self.validate_field(path, value));
78        }
79        result
80    }
81}
82
83#[cfg(test)]
84mod tests {
85    use super::*;
86    use constraints::FieldConstraint;
87
88    #[test]
89    fn with_defaults_produces_valid_for_unconstrained_path() {
90        let validator = SchemaValidator::with_defaults();
91        let result = validator.validate_field("/any/path", "any value");
92        assert!(result.is_valid());
93    }
94
95    #[test]
96    fn validate_field_iban() {
97        let mut cs = ConstraintSet::new();
98        cs.add(FieldConstraint::new("/iban", ["IBAN_CHECK"]));
99        let validator = SchemaValidator::new(cs, RuleRegistry::with_defaults());
100
101        assert!(validator
102            .validate_field("/iban", "GB82WEST12345698765432")
103            .is_valid());
104        assert!(!validator.validate_field("/iban", "NOTANIBAN").is_valid());
105    }
106
107    #[test]
108    fn validate_fields_merges_results() {
109        let mut cs = ConstraintSet::new();
110        cs.add(FieldConstraint::new("/iban", ["IBAN_CHECK"]));
111        cs.add(FieldConstraint::new("/bic", ["BIC_CHECK"]));
112        let validator = SchemaValidator::new(cs, RuleRegistry::with_defaults());
113
114        let result = validator.validate_fields([("/iban", "NOTANIBAN"), ("/bic", "NOTABIC")]);
115        // Both fields should produce errors
116        assert!(!result.is_valid());
117        assert!(result.error_count() >= 2);
118    }
119
120    #[test]
121    fn validate_fields_all_valid() {
122        let mut cs = ConstraintSet::new();
123        cs.add(FieldConstraint::new("/iban", ["IBAN_CHECK"]));
124        cs.add(FieldConstraint::new("/bic", ["BIC_CHECK"]));
125        let validator = SchemaValidator::new(cs, RuleRegistry::with_defaults());
126
127        let result =
128            validator.validate_fields([("/iban", "GB82WEST12345698765432"), ("/bic", "AAAAGB2L")]);
129        assert!(result.is_valid());
130    }
131}
mx20022_validate/schema/mod.rs

mx20022_validate/schema/
mod.rs
