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

use crate::features::{
    ConfigurationEvaluation, ConfigurationFeatureState, DistinctMembers, FeatureDefinition,
    FeatureId, FeatureOperation, FinitePoint3,
};
use crate::ids::BodyId;
use crate::math::Point3;

#[test]
fn configuration_output_members_are_distinct_and_empty_active_states_remain_valid() {
    let body = BodyId::mint("test:model:body#one").unwrap();
    assert!(DistinctMembers::try_from(vec![body.clone(), body.clone()],).is_err());
    for evaluation in [
        ConfigurationEvaluation::Suppressed {},
        ConfigurationEvaluation::Active {
            outputs: DistinctMembers::default(),
        },
        ConfigurationEvaluation::Active {
            outputs: crate::features::DistinctMembers::try_from(vec![body.clone()]).unwrap(),
        },
    ] {
        let wire = serde_json::to_value(&evaluation).unwrap();
        assert_eq!(
            serde_json::from_value::<ConfigurationEvaluation>(wire).unwrap(),
            evaluation
        );
    }
    let empty = ConfigurationEvaluation::Active {
        outputs: DistinctMembers::default(),
    };
    assert_eq!(
        serde_json::to_value(empty).unwrap(),
        serde_json::json!({"kind":"active"})
    );
    let error = serde_json::from_value::<ConfigurationEvaluation>(serde_json::json!({
        "kind":"active", "outputs":[body, body]
    }))
    .unwrap_err();
    assert!(error.to_string().contains("outputs"));
}

#[test]
fn configuration_dependencies_reject_duplicates_at_the_wire_boundary() {
    let earlier = FeatureId::mint("test:test:feature#earlier").unwrap();
    let state = ConfigurationFeatureState {
        evaluation: ConfigurationEvaluation::Active {
            outputs: DistinctMembers::default(),
        },
        dependencies: crate::features::DistinctMembers::try_from(vec![earlier.clone()]).unwrap(),
        definition: FeatureDefinition::Operation(FeatureOperation::DatumPoint {
            position: FinitePoint3::new(Point3::new(0.0, 0.0, 0.0)).unwrap(),
            construction: None,
        }),
    };
    let mut wire = serde_json::to_value(&state).unwrap();
    assert_eq!(
        serde_json::from_value::<ConfigurationFeatureState>(wire.clone()).unwrap(),
        state
    );
    wire["dependencies"] = serde_json::json!([earlier, earlier]);
    let error = serde_json::from_value::<ConfigurationFeatureState>(wire.clone()).unwrap_err();
    assert!(error.to_string().contains("dependencies"));
    wire.as_object_mut().unwrap().remove("dependencies");
    let decoded = serde_json::from_value::<ConfigurationFeatureState>(wire.clone()).unwrap();
    assert!(decoded.dependencies.is_empty());
    assert_eq!(serde_json::to_value(decoded).unwrap(), wire);
}