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
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117

// SPDX-License-Identifier: Apache-2.0
use crate::geometry::{
    CacheContractError, FitTolerance, RevisionSurfaceParameterization, VariableBlendCache,
};
use serde::{Deserialize, Serialize};
use serde_json::json;
use std::num::NonZeroI64;

#[derive(Debug, PartialEq, Serialize, Deserialize)]
struct CacheWire {
    cache: VariableBlendCache,
}

#[test]
fn the_variable_blend_cache_is_one_tagged_object_carrying_its_own_tolerance() {
    for prefix in [-3, 1, 11] {
        let cache = VariableBlendCache::Current {
            shape_prefix: NonZeroI64::new(prefix).unwrap(),
            fit_tolerance: crate::geometry::FitTolerance::try_new(0.125).unwrap(),
        };
        let wire = serde_json::to_value(CacheWire {
            cache: cache.clone(),
        })
        .unwrap();
        assert_eq!(
            wire,
            json!({"cache": {
                "kind": "current",
                "shape_prefix": prefix,
                "fit_tolerance": 0.125
            }})
        );
        assert_eq!(
            serde_json::from_value::<CacheWire>(wire).unwrap().cache,
            cache
        );
    }

    let stale = CacheWire {
        cache: VariableBlendCache::Stale {},
    };
    let wire = serde_json::to_value(&stale).unwrap();
    assert_eq!(wire, json!({"cache": {"kind": "stale"}}));
    assert_eq!(serde_json::from_value::<CacheWire>(wire).unwrap(), stale);

    for prefix in [-1, 0, 11] {
        let cache = CacheWire {
            cache: VariableBlendCache::Parameterization {
                shape_prefix: prefix,
                parameterization: RevisionSurfaceParameterization::default(),
            },
        };
        let wire = serde_json::to_value(&cache).unwrap();
        assert_eq!(wire["cache"]["kind"], "parameterization");
        assert_eq!(wire["cache"]["shape_prefix"], prefix);
        assert_eq!(serde_json::from_value::<CacheWire>(wire).unwrap(), cache);
    }
}

#[test]
fn a_variable_blend_cache_carries_no_key_of_another_form() {
    for wire in [
        json!({"cache": {"kind": "stale", "fit_tolerance": 0.125}}),
        json!({"cache": {"kind": "current", "shape_prefix": 1}}),
        json!({"cache": {"kind": "current", "shape_prefix": 0, "fit_tolerance": 0.125}}),
        json!({"cache": {"kind": "parameterization", "shape_prefix": 1}}),
        json!({"cache": {
            "kind": "stale",
            "parameterization": RevisionSurfaceParameterization::<f64>::default()
        }}),
        json!({"cache": {
            "kind": "parameterization",
            "shape_prefix": 0,
            "parameterization": RevisionSurfaceParameterization::<f64>::default(),
            "fit_tolerance": 0.125
        }}),
    ] {
        assert!(
            serde_json::from_value::<CacheWire>(wire.clone()).is_err(),
            "{wire}"
        );
    }

    let bogus = json!({"cache": {"kind": "stale", "zz_bogus": 1}});
    let error = serde_json::from_value::<CacheWire>(bogus)
        .unwrap_err()
        .to_string();
    assert!(error.contains("zz_bogus"), "{error}");
}

#[test]
fn scaling_a_variable_blend_cache_changes_only_a_current_tolerance() {
    let scale = |value| crate::scalar::PositiveReal::new(value).expect("positive scale");
    let mut current: VariableBlendCache = VariableBlendCache::Current {
        shape_prefix: NonZeroI64::new(3).expect("nonzero prefix"),
        fit_tolerance: FitTolerance::try_new(0.25).expect("valid tolerance"),
    };
    current
        .scale_fit_tolerance(scale(25.4))
        .expect("finite scaled tolerance");
    assert_eq!(
        current.fit_tolerance().map(FitTolerance::get),
        Some(0.25 * 25.4)
    );
    let before_overflow = current.clone();
    assert!(matches!(
        current.scale_fit_tolerance(scale(f64::MAX)),
        Err(CacheContractError::InvalidValue { .. })
    ));
    assert_eq!(current, before_overflow);

    let mut stale = VariableBlendCache::<f64>::Stale {};
    stale
        .scale_fit_tolerance(scale(f64::MAX))
        .expect("stale cache has no fit tolerance");
    assert_eq!(stale, VariableBlendCache::Stale {});
}