structured-asn1 0.4.3

Borrowed BER/DER parsing with shared work budgets and exact byte ranges
Documentation 
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

//! Validated immutable text; the only unchecked operation borrows sealed UTF-8.

use super::super::{Memory, MemoryError, OwnedVec, TextErrorKind, Work};

// No mutable byte access escapes while this owner exists. Both constructors
// establish UTF-8; moving the vector/account changes neither length nor bytes.
pub(in super::super) struct ValidatedText<W: Work = Memory> {
    bytes: OwnedVec<u8, W>,
}

impl<W: Work> ValidatedText<W> {
    pub(in super::super) fn from_utf8(
        bytes: OwnedVec<u8, W>,
    ) -> Result<Self, (TextErrorKind, OwnedVec<u8, W>)> {
        if let Err(cause) = bytes
            .values
            .allocator()
            .work()
            .charge_work(bytes.len() as u64)
        {
            return Err((TextErrorKind::Resource(cause), bytes));
        }
        if let Err(cause) = core::str::from_utf8(&bytes) {
            return Err((TextErrorKind::Utf8(cause), bytes));
        }
        Ok(Self { bytes })
    }

    pub(in super::super) fn from_str(text: &str, execution: &W) -> Result<Self, MemoryError> {
        let mut bytes = execution.vector();
        bytes.try_extend_from_slice(text.as_bytes())?;
        Ok(Self { bytes })
    }

    pub(in super::super) fn bytes(&self) -> &OwnedVec<u8, W> {
        &self.bytes
    }

    pub(in super::super) fn as_str(&self) -> &str {
        // SAFETY: constructors either validated these exact initialized bytes
        // or copied them from a valid str. The vector is private and immutable;
        // no method exposes &mut bytes, changes length, or aliases a mutable
        // owner. into_bytes consumes self, so all str borrows must end first.
        // Ordinary OwnedVec ownership keeps the allocation live for this borrow.
        unsafe { core::str::from_utf8_unchecked(&self.bytes) }
    }

    pub(in super::super) fn into_owned(self) -> ValidatedText {
        ValidatedText {
            bytes: self.bytes.into_owned(),
        }
    }

    pub(in super::super) fn into_bytes(self) -> OwnedVec<u8, W> {
        self.bytes
    }
}