dtcs 0.1.0

Reference implementation of the Data Transformation Contract Standard (DTCS)
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

//! Validation pipeline.

mod com;
mod context;
mod document;
mod extensions;
mod field_index;
mod lineage;
mod phases;
mod references;
mod semantics;
mod structural;
mod types;

pub use phases::ValidationPhase;

use crate::diagnostics::ValidationReport;
use crate::model::TransformationContract;

use self::com::validate_com;
use self::context::ValidationContext;
use self::document::validate_document;
use self::extensions::validate_extensions;
use self::references::validate_references;
use self::semantics::validate_semantics;
use self::structural::validate_structural;
use self::types::validate_types;

/// Validate a transformation contract and collect diagnostics.
#[must_use]
pub fn validate(contract: &TransformationContract) -> ValidationReport {
    let mut ctx = ValidationContext::new();

    for phase in ValidationPhase::ORDER {
        match phase {
            ValidationPhase::Document => validate_document(&mut ctx, contract),
            ValidationPhase::CanonicalObjectModel => validate_com(&mut ctx, contract),
            ValidationPhase::Structural => validate_structural(&mut ctx, contract),
            ValidationPhase::Types => validate_types(&mut ctx, contract),
            ValidationPhase::References => validate_references(&mut ctx, contract),
            ValidationPhase::Semantics => validate_semantics(&mut ctx, contract),
            ValidationPhase::Extensions => validate_extensions(&mut ctx, contract),
        }
    }

    ctx.into_report()
}