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

// SPDX-License-Identifier: Apache-2.0
//! Shared cage validation with explicit reconstruction storage.

use std::collections::BTreeSet;
use std::fmt::Arguments;

use cadmpeg_core::decode::{DecodeContext, ScopedReservation};
use cadmpeg_core::CodecError;

use super::SubdError;

pub(super) trait SubdAdmission {
    type Error;
    type Storage<'ctx>
    where
        Self: 'ctx;

    fn work(&self, count: u64, operation: &'static str) -> Result<(), Self::Error>;
    fn message(&self, message: Arguments<'_>) -> Result<SubdError, Self::Error>;
    fn storage(&self) -> Result<Self::Storage<'_>, Self::Error>;
    fn insert<T: Ord>(
        &self,
        storage: &mut Self::Storage<'_>,
        values: &mut BTreeSet<T>,
        value: T,
    ) -> Result<bool, Self::Error>;
}

pub(super) struct StandardAdmission;

impl SubdAdmission for StandardAdmission {
    type Error = SubdError;
    type Storage<'ctx> = ();

    fn work(&self, _count: u64, _operation: &'static str) -> Result<(), SubdError> {
        Ok(())
    }
    fn message(&self, message: Arguments<'_>) -> Result<SubdError, SubdError> {
        Ok(SubdError::Admission(message.to_string()))
    }
    fn storage(&self) -> Result<(), SubdError> {
        Ok(())
    }
    fn insert<T: Ord>(
        &self,
        _storage: &mut (),
        values: &mut BTreeSet<T>,
        value: T,
    ) -> Result<bool, SubdError> {
        Ok(values.insert(value))
    }
}

impl SubdAdmission for DecodeContext<'_> {
    type Error = CodecError;
    type Storage<'ctx>
        = ScopedReservation<'ctx>
    where
        Self: 'ctx;

    fn work(&self, count: u64, operation: &'static str) -> Result<(), CodecError> {
        self.charge_work(count, operation)
    }
    fn message(&self, message: Arguments<'_>) -> Result<SubdError, CodecError> {
        Ok(SubdError::Admission(
            self.format_retained(message, "SubD admission error")?,
        ))
    }
    fn storage(&self) -> Result<ScopedReservation<'_>, CodecError> {
        self.reserve_scoped(0, "SubD validation members")
    }
    fn insert<T: Ord>(
        &self,
        storage: &mut ScopedReservation<'_>,
        values: &mut BTreeSet<T>,
        value: T,
    ) -> Result<bool, CodecError> {
        self.insert_scoped_btree_set(
            storage,
            values,
            value,
            "SubD validation member search",
            "SubD validation members",
        )
    }
}