dtcs 0.3.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
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

//! Validation pipeline.

mod com;
pub(crate) mod context;
mod document;
mod expressions;
mod extensions;
mod field_index;
mod interfaces;
mod lineage;
mod phases;
mod references;
mod semantics;
mod structural;
mod types;

pub use phases::ValidationPhase;

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

use self::com::validate_com;
use self::context::ValidationContext;
use self::document::validate_document;
use self::expressions::validate_expressions;
use self::extensions::validate_extensions;
use self::interfaces::{
    validate_condition_rule_phases, validate_condition_rule_refs, validate_io_extensions,
    validate_optional_inputs,
};
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);
                merge_versioning(&mut ctx, contract);
            }
            ValidationPhase::CanonicalObjectModel => {
                validate_com(&mut ctx, contract);
                metadata::validate_into(&mut ctx, contract);
            }
            ValidationPhase::Structural => {
                validate_structural(&mut ctx, contract);
                validate_optional_inputs(&mut ctx, contract);
            }
            ValidationPhase::Types => {
                validate_types(&mut ctx, contract);
                validate_expressions(&mut ctx, contract);
            }
            ValidationPhase::References => {
                validate_references(&mut ctx, contract);
                validate_condition_rule_refs(&mut ctx, contract);
            }
            ValidationPhase::Semantics => {
                validate_semantics(&mut ctx, contract);
                validate_condition_rule_phases(&mut ctx, contract);
            }
            ValidationPhase::Extensions => {
                validate_extensions(&mut ctx, contract);
                validate_io_extensions(&mut ctx, contract);
            }
        }
    }

    ctx.into_report()
}

fn merge_versioning(ctx: &mut ValidationContext, contract: &TransformationContract) {
    ctx.merge_report(crate::versioning::validate(contract));
}