ifc-validate 0.3.1

Schema conformance: WHERE rules, cardinality, GUID and reference integrity.
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

//! Structural conformance: references, slots, cardinality, uniqueness.
//!
//! ## Internals
//!
//! - `reference`: dangling and wrong-kind references
//! - `required`: required/derived slot presence and record arity
//! - `cardinality`: scalar-vs-aggregate shape
//! - `unique`: duplicate `GlobalId`s

mod cardinality;
mod reference;
mod required;
mod unique;

pub use cardinality::aggregate_shape;
pub(crate) use reference::expected_references;
pub use reference::{dangling_references, wrong_kind_references};
pub use required::required_attributes;
pub use unique::duplicate_global_ids;

use ifc_model::Model;
use ifc_schema::Schema;

use crate::report::Report;
use crate::where_rule::Budget;

/// Every structural check, in a fixed order.
///
/// Order is fixed so two runs over the same file produce identical reports;
/// the report sorts findings anyway, but a stable production order keeps
/// truncation deterministic when the budget is hit.
pub fn check(model: &Model, schema: &Schema, budget: Budget, report: &mut Report) {
    dangling_references(model, report);
    wrong_kind_references(model, schema, report);
    required_attributes(model, schema, report);
    aggregate_shape(model, schema, report);
    if report.findings().len() >= budget.max_findings {
        report.mark_truncated();
    }
}