cadmpeg-ir 0.6.2

CAD data model, validation, diffing, and codec API for cadmpeg.
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
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123

// SPDX-License-Identifier: Apache-2.0
#![allow(clippy::unwrap_used)]

use crate::examples::unit_cube;
use crate::report::check::Check;
use crate::validate::validate_neutral;

#[test]
fn ids_are_globally_unique_across_arenas() {
    let mut ir = unit_cube().expect("valid unit cube fixture");
    ir.model.points[0].id = crate::ids::PointId::mint(ir.model.vertices[0].id.as_str()).unwrap();
    assert!(validate_neutral(&ir, Vec::new())
        .expect("validate the neutral model")
        .findings
        .iter()
        .any(|finding| finding.check == Check::Identity));
}

#[test]
fn arena_ids_must_be_sorted() {
    let mut ir = unit_cube().expect("valid unit cube fixture");
    ir.model.points.swap(0, 1);
    assert!(validate_neutral(&ir, Vec::new())
        .expect("validate the neutral model")
        .findings
        .iter()
        .any(|finding| finding.check == Check::ArenaOrder));
}

#[test]
fn native_order_groups_preserve_combined_name_and_finding_order() {
    let mut ir = crate::CadIr::empty();
    for (format, arena, ids) in [
        ("a", "z", ["test:native:record#2", "test:native:record#1"]),
        ("a.b", "a", ["test:native:record#4", "test:native:record#3"]),
        ("a", "b.a", ["test:native:record#6", "test:native:record#5"]),
    ] {
        for id in ids {
            ir.native
                .namespace_mut(format)
                .arenas_mut()
                .entry(arena.into())
                .or_default()
                .push(
                    crate::native::NativeRecord::new(
                        id.try_into().unwrap(),
                        serde_json::Map::new(),
                    )
                    .unwrap(),
                );
        }
    }
    let ctx = cadmpeg_test_support::service_decode_context();
    let mut findings = Vec::new();
    super::check_identity_and_order(&crate::index::ModelIndex::build(&ir), &mut findings).unwrap();
    assert_eq!(
        findings
            .iter()
            .map(|finding| (
                finding.check,
                finding.entity.as_deref(),
                finding.message.as_str()
            ))
            .collect::<Vec<_>>(),
        vec![
            (
                Check::ArenaOrder,
                Some("test:native:record#5"),
                "arena `native.a.b.a` is not strictly sorted by id"
            ),
            (
                Check::ArenaOrder,
                Some("test:native:record#1"),
                "arena `native.a.z` is not strictly sorted by id"
            ),
        ]
    );
    ctx.finish_session().unwrap();
}

#[test]
fn duplicate_identity_findings_keep_model_then_native_visit_order() {
    let mut ir = crate::CadIr::empty();
    for id in [
        "test:validation:point#a",
        "test:validation:point#a",
        "test:validation:point#b",
    ] {
        ir.model.points.push(crate::topology::Point::new(
            id.try_into().unwrap(),
            crate::features::FinitePoint3::new(crate::math::Point3::new(0.0, 0.0, 0.0)).unwrap(),
            None,
        ));
    }
    for id in ["test:validation:point#b", "test:validation:point#a"] {
        ir.native
            .namespace_mut("test")
            .arenas_mut()
            .entry("records".into())
            .or_default()
            .push(
                crate::native::NativeRecord::new(id.try_into().unwrap(), serde_json::Map::new())
                    .unwrap(),
            );
    }
    let ctx = cadmpeg_test_support::service_decode_context();
    let mut findings = Vec::new();
    super::check_identity_and_order(&crate::index::ModelIndex::build(&ir), &mut findings).unwrap();
    assert_eq!(
        findings
            .iter()
            .map(|finding| (finding.check, finding.entity.as_deref()))
            .collect::<Vec<_>>(),
        [
            (Check::ArenaOrder, Some("test:validation:point#a")),
            (Check::Identity, Some("test:validation:point#a")),
            (Check::Identity, Some("test:validation:point#b")),
            (Check::Identity, Some("test:validation:point#a")),
            (Check::ArenaOrder, Some("test:validation:point#a")),
        ]
    );
    ctx.finish_session().unwrap();
}