ifc-validate 0.3.0

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

//! Type conformance: entity types, scalars, enumerations, selects.
//!
//! ## Internals
//!
//! - `scalar`: EXPRESS primitives and the forms they accept
//! - `enumeration`: enumeration membership
//! - `select`: SELECT membership as a graph walk
//! - `aggregate`: the element type an aggregate value is checked against
//! - `defined`: one value against one declared type
//! - `entity`: the per-entity sweep that reports findings

mod aggregate;
mod defined;
mod entity;
mod enumeration;
mod scalar;
mod select;

pub(crate) use aggregate::{aliased_aggregate, element_type};
pub use defined::{check as check_value, Mismatch};
pub use entity::{abstract_instances, attribute_types, unknown_entity_types};
pub(crate) use scalar::describe_value;
pub use scalar::Primitive;

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

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

/// Every type check, in a fixed order.
pub fn check(model: &Model, schema: &Schema, budget: Budget, report: &mut Report) {
    unknown_entity_types(model, schema, report);
    abstract_instances(model, schema, report);
    attribute_types(model, schema, report);
    if report.findings().len() >= budget.max_findings {
        report.mark_truncated();
    }
}