cadmpeg-ir 0.6.1

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

// SPDX-License-Identifier: Apache-2.0

use crate::geometry::VariableBlendValue;
use serde_json::json;

#[test]
fn a_variable_blend_value_states_no_native_name_on_its_wire() {
    let wire = json!({
        "modern_flag": true, "calibrated": 3,
        "payload": {"kind": "two_ends", "discriminator": 7, "parameters": [0.25, 0.75], "radii": [15.0, 25.0]}
    });
    let value: VariableBlendValue = serde_json::from_value(wire.clone()).unwrap();
    assert_eq!(value.payload.native_name(), "two_ends");
    assert_eq!(serde_json::to_value(value).unwrap(), wire);

    for name in ["two_ends", "const", "unknown"] {
        let mut restated = wire.clone();
        restated
            .as_object_mut()
            .unwrap()
            .insert("name".to_string(), json!(name));
        let error = serde_json::from_value::<VariableBlendValue>(restated).unwrap_err();
        assert!(error.to_string().contains("name"), "{error}");
    }
}

#[test]
fn variable_blend_value_keeps_every_payload_wire_and_its_outer_discriminator() {
    let function =
        json!({"kind": "line", "origin": {"u": 0.0, "v": 1.0}, "direction": {"u": 2.0, "v": 3.0}});
    let nested = json!({"modern_flag": false, "calibrated": 4, "payload": {"kind": "two_ends", "discriminator": 9, "parameters": [0.0, 1.0], "radii": [2.0, 3.0]}});
    for (discriminator, payload) in [
        (
            -3,
            json!({"kind": "fixed_width", "parameters": [0.0, 1.0], "width": 2.0}),
        ),
        (
            0,
            json!({"kind": "edge_offset", "scalars": [0.0, 1.0], "lengths": [2.0]}),
        ),
        (
            1,
            json!({"kind": "edge_offset", "scalars": [0.0, 1.0], "lengths": [2.0]}),
        ),
        (
            7,
            json!({"kind": "functional", "parameter": 0.0, "radius": 1.0, "function": function, "terminal": {"kind": "double", "value": 2.0}}),
        ),
        (
            7,
            json!({"kind": "functional", "parameter": 0.0, "radius": 1.0, "function": function, "terminal": {"kind": "text", "value": "end"}}),
        ),
        (
            7,
            json!({"kind": "constant", "parameters": [0.0, 1.0], "radius": 2.0, "variable_chamfer": 3, "chamfer_type": 4, "nested": nested}),
        ),
        (
            7,
            json!({"kind": "interpolated", "parameter": 0.0, "radius": 1.0, "function": function, "enum_count": 3, "enum_tagged": true, "points": []}),
        ),
    ] {
        let mut payload = payload;
        payload["discriminator"] = json!(discriminator);
        let wire = json!({"modern_flag": true, "calibrated": 5, "payload": payload});
        let value: VariableBlendValue = serde_json::from_value(wire.clone()).unwrap();
        assert_eq!(value.payload.discriminator(), discriminator);
        assert_eq!(serde_json::to_value(value).unwrap(), wire);
    }
}

#[test]
fn variable_blend_edge_offset_rejects_wrong_arity_and_discriminators() {
    let wire = json!({"modern_flag": true, "calibrated": 0, "payload": {"kind": "edge_offset", "discriminator": 1, "scalars": [0.0, 1.0], "lengths": [2.0]}});
    for code in [-1, 2, 7] {
        let mut invalid = wire.clone();
        invalid["payload"]["discriminator"] = json!(code);
        let error = serde_json::from_value::<VariableBlendValue>(invalid).unwrap_err();
        assert!(error.to_string().contains("discriminator"), "{error}");
    }
    for (field, values) in [
        ("scalars", json!([0.0])),
        ("scalars", json!([0.0, 1.0, 2.0])),
        ("lengths", json!([])),
        ("lengths", json!([2.0, 3.0])),
    ] {
        let mut invalid = wire.clone();
        invalid["payload"][field] = values;
        assert!(serde_json::from_value::<VariableBlendValue>(invalid).is_err());
    }
}

#[test]
fn variable_blend_functional_terminal_rejects_unrelated_token_classes() {
    for terminal in [
        json!({"kind": "boolean", "value": true}),
        json!({"kind": "integer", "value": 2}),
        json!({"kind": "enum", "value": 3}),
    ] {
        let wire = json!({"modern_flag": true, "calibrated": 0, "payload": {"kind": "functional", "discriminator": 1, "parameter": 0.0, "radius": 1.0, "function": {"kind": "line", "origin": {"u": 0.0, "v": 1.0}, "direction": {"u": 2.0, "v": 3.0}}, "terminal": terminal}});
        assert!(serde_json::from_value::<VariableBlendValue>(wire).is_err());
    }
}