/rust/registry/src/index.crates.io-1949cf8c6b5b557f/zerovec-0.11.6/src/varzerovec/components.rs
Line | Count | Source |
1 | | // This file is part of ICU4X. For terms of use, please see the file |
2 | | // called LICENSE at the top level of the ICU4X source tree |
3 | | // (online at: https://github.com/unicode-org/icu4x/blob/main/LICENSE ). |
4 | | |
5 | | #![allow(unused_qualifications)] |
6 | | |
7 | | use super::VarZeroVecFormatError; |
8 | | use crate::ule::*; |
9 | | use core::cmp::Ordering; |
10 | | use core::convert::TryFrom; |
11 | | use core::marker::PhantomData; |
12 | | use core::ops::Range; |
13 | | |
14 | | /// This trait allows switching between different possible internal |
15 | | /// representations of [`VarZeroVec`](super::VarZeroVec). |
16 | | /// |
17 | | /// Currently this crate supports three formats: [`Index8`], [`Index16`] and [`Index32`], |
18 | | /// with [`Index16`] being the default for all [`VarZeroVec`](super::VarZeroVec) |
19 | | /// types unless explicitly specified otherwise. |
20 | | /// |
21 | | /// Do not implement this trait, its internals may be changed in the future, |
22 | | /// and all of its associated items are hidden from the docs. |
23 | | pub trait VarZeroVecFormat: 'static + Sized { |
24 | | /// The type to use for the indexing array |
25 | | /// |
26 | | /// Safety: must be a ULE for which all byte sequences are allowed |
27 | | #[doc(hidden)] |
28 | | type Index: IntegerULE; |
29 | | /// The type to use for the length segment |
30 | | /// |
31 | | /// Safety: must be a ULE for which all byte sequences are allowed |
32 | | #[doc(hidden)] |
33 | | type Len: IntegerULE; |
34 | | } |
35 | | |
36 | | /// This trait represents various ULE types that can be used to represent an integer |
37 | | /// |
38 | | /// Do not implement this trait, its internals may be changed in the future, |
39 | | /// and all of its associated items are hidden from the docs. |
40 | | #[doc(hidden)] |
41 | | pub unsafe trait IntegerULE: ULE { |
42 | | /// The error to show when unable to construct a vec |
43 | | #[doc(hidden)] |
44 | | const TOO_LARGE_ERROR: &'static str; |
45 | | |
46 | | /// Safety: must be sizeof(self) |
47 | | #[doc(hidden)] |
48 | | const SIZE: usize; |
49 | | |
50 | | /// Safety: must be maximum integral value represented here |
51 | | #[doc(hidden)] |
52 | | const MAX_VALUE: u32; |
53 | | |
54 | | /// Safety: Must roundtrip with from_usize and represent the correct |
55 | | /// integral value |
56 | | #[doc(hidden)] |
57 | | fn iule_to_usize(self) -> usize; |
58 | | |
59 | | #[doc(hidden)] |
60 | | fn iule_from_usize(x: usize) -> Option<Self>; |
61 | | |
62 | | /// Safety: Should always convert a buffer into an array of Self with the correct length |
63 | | #[doc(hidden)] |
64 | | #[cfg(feature = "alloc")] |
65 | | fn iule_from_bytes_unchecked_mut(bytes: &mut [u8]) -> &mut [Self]; |
66 | | } |
67 | | |
68 | | /// This is a [`VarZeroVecFormat`] that stores u8s in the index array, and a u8 for a length. |
69 | | /// |
70 | | /// Will have a smaller data size, but it's *extremely* likely for larger arrays |
71 | | /// to be unrepresentable (and error on construction). Should probably be used |
72 | | /// for known-small arrays, where all but the last field are known-small. |
73 | | #[derive(Copy, Clone, Debug, Hash, PartialEq, Eq, PartialOrd, Ord)] |
74 | | #[allow(clippy::exhaustive_structs)] // marker |
75 | | pub struct Index8; |
76 | | |
77 | | /// This is a [`VarZeroVecFormat`] that stores u16s in the index array, and a u16 for a length. |
78 | | /// |
79 | | /// Will have a smaller data size, but it's more likely for larger arrays |
80 | | /// to be unrepresentable (and error on construction) |
81 | | /// |
82 | | /// This is the default index size used by all [`VarZeroVec`](super::VarZeroVec) types. |
83 | | #[derive(Copy, Clone, Debug, Hash, PartialEq, Eq, PartialOrd, Ord)] |
84 | | #[allow(clippy::exhaustive_structs)] // marker |
85 | | pub struct Index16; |
86 | | |
87 | | /// This is a [`VarZeroVecFormat`] that stores u32s in the index array, and a u32 for a length. |
88 | | /// Will have a larger data size, but will support large arrays without |
89 | | /// problems. |
90 | | #[derive(Copy, Clone, Debug, Hash, PartialEq, Eq, PartialOrd, Ord)] |
91 | | #[allow(clippy::exhaustive_structs)] // marker |
92 | | pub struct Index32; |
93 | | |
94 | | impl VarZeroVecFormat for Index8 { |
95 | | type Index = u8; |
96 | | type Len = u8; |
97 | | } |
98 | | |
99 | | impl VarZeroVecFormat for Index16 { |
100 | | type Index = RawBytesULE<2>; |
101 | | type Len = RawBytesULE<2>; |
102 | | } |
103 | | |
104 | | impl VarZeroVecFormat for Index32 { |
105 | | type Index = RawBytesULE<4>; |
106 | | type Len = RawBytesULE<4>; |
107 | | } |
108 | | |
109 | | unsafe impl IntegerULE for u8 { |
110 | | const TOO_LARGE_ERROR: &'static str = "Attempted to build VarZeroVec out of elements that \ |
111 | | cumulatively are larger than a u8 in size"; |
112 | | const SIZE: usize = size_of::<Self>(); |
113 | | const MAX_VALUE: u32 = u8::MAX as u32; |
114 | | #[inline] |
115 | 0 | fn iule_to_usize(self) -> usize { |
116 | 0 | self as usize |
117 | 0 | } |
118 | | #[inline] |
119 | 0 | fn iule_from_usize(u: usize) -> Option<Self> { |
120 | 0 | u8::try_from(u).ok() |
121 | 0 | } |
122 | | #[inline] |
123 | | #[cfg(feature = "alloc")] |
124 | | fn iule_from_bytes_unchecked_mut(bytes: &mut [u8]) -> &mut [Self] { |
125 | | bytes |
126 | | } |
127 | | } |
128 | | |
129 | | unsafe impl IntegerULE for RawBytesULE<2> { |
130 | | const TOO_LARGE_ERROR: &'static str = "Attempted to build VarZeroVec out of elements that \ |
131 | | cumulatively are larger than a u16 in size"; |
132 | | const SIZE: usize = size_of::<Self>(); |
133 | | const MAX_VALUE: u32 = u16::MAX as u32; |
134 | | #[inline] |
135 | 0 | fn iule_to_usize(self) -> usize { |
136 | 0 | self.as_unsigned_int() as usize |
137 | 0 | } Unexecuted instantiation: <zerovec::ule::plain::RawBytesULE<2> as zerovec::varzerovec::components::IntegerULE>::iule_to_usize Unexecuted instantiation: <zerovec::ule::plain::RawBytesULE<2> as zerovec::varzerovec::components::IntegerULE>::iule_to_usize Unexecuted instantiation: <zerovec::ule::plain::RawBytesULE<2> as zerovec::varzerovec::components::IntegerULE>::iule_to_usize |
138 | | #[inline] |
139 | 0 | fn iule_from_usize(u: usize) -> Option<Self> { |
140 | 0 | u16::try_from(u).ok().map(u16::to_unaligned) |
141 | 0 | } Unexecuted instantiation: <zerovec::ule::plain::RawBytesULE<2> as zerovec::varzerovec::components::IntegerULE>::iule_from_usize Unexecuted instantiation: <zerovec::ule::plain::RawBytesULE<2> as zerovec::varzerovec::components::IntegerULE>::iule_from_usize |
142 | | #[inline] |
143 | | #[cfg(feature = "alloc")] |
144 | | fn iule_from_bytes_unchecked_mut(bytes: &mut [u8]) -> &mut [Self] { |
145 | | Self::from_bytes_unchecked_mut(bytes) |
146 | | } |
147 | | } |
148 | | |
149 | | unsafe impl IntegerULE for RawBytesULE<4> { |
150 | | const TOO_LARGE_ERROR: &'static str = "Attempted to build VarZeroVec out of elements that \ |
151 | | cumulatively are larger than a u32 in size"; |
152 | | const SIZE: usize = size_of::<Self>(); |
153 | | const MAX_VALUE: u32 = u32::MAX; |
154 | | #[inline] |
155 | 0 | fn iule_to_usize(self) -> usize { |
156 | 0 | self.as_unsigned_int() as usize |
157 | 0 | } |
158 | | #[inline] |
159 | 0 | fn iule_from_usize(u: usize) -> Option<Self> { |
160 | 0 | u32::try_from(u).ok().map(u32::to_unaligned) |
161 | 0 | } |
162 | | #[inline] |
163 | | #[cfg(feature = "alloc")] |
164 | | fn iule_from_bytes_unchecked_mut(bytes: &mut [u8]) -> &mut [Self] { |
165 | | Self::from_bytes_unchecked_mut(bytes) |
166 | | } |
167 | | } |
168 | | |
169 | | /// A more parsed version of [`VarZeroSlice`](super::VarZeroSlice). This type is where most of the[ `VarZeroVec`](super::VarZeroVec) |
170 | | /// internal representation code lies. |
171 | | /// |
172 | | /// This is *basically* an `&'a [u8]` to a zero copy buffer, but split out into |
173 | | /// the buffer components. Logically this is capable of behaving as |
174 | | /// a `&'a [T::VarULE]`, but since `T::VarULE` is unsized that type does not actually |
175 | | /// exist. |
176 | | /// |
177 | | /// See [`VarZeroVecComponents::parse_bytes()`] for information on the internal invariants involved |
178 | | #[derive(Debug)] |
179 | | pub struct VarZeroVecComponents<'a, T: ?Sized, F> { |
180 | | /// The number of elements |
181 | | len: u32, |
182 | | /// The list of indices into the `things` slice |
183 | | /// Since the first element is always at things[0], the first element of the indices array is for the *second* element |
184 | | indices: &'a [u8], |
185 | | /// The contiguous list of `T::VarULE`s |
186 | | things: &'a [u8], |
187 | | marker: PhantomData<(&'a T, F)>, |
188 | | } |
189 | | |
190 | | // #[derive()] won't work here since we do not want it to be |
191 | | // bound on T: Copy |
192 | | impl<'a, T: ?Sized, F> Copy for VarZeroVecComponents<'a, T, F> {} |
193 | | impl<'a, T: ?Sized, F> Clone for VarZeroVecComponents<'a, T, F> { |
194 | 0 | fn clone(&self) -> Self { |
195 | 0 | *self |
196 | 0 | } |
197 | | } |
198 | | |
199 | | impl<'a, T: VarULE + ?Sized, F> Default for VarZeroVecComponents<'a, T, F> { |
200 | | #[inline] |
201 | 0 | fn default() -> Self { |
202 | 0 | Self::new() |
203 | 0 | } |
204 | | } |
205 | | |
206 | | impl<'a, T: VarULE + ?Sized, F> VarZeroVecComponents<'a, T, F> { |
207 | | #[inline] |
208 | 0 | pub fn new() -> Self { |
209 | 0 | Self { |
210 | 0 | len: 0, |
211 | 0 | indices: &[], |
212 | 0 | things: &[], |
213 | 0 | marker: PhantomData, |
214 | 0 | } |
215 | 0 | } |
216 | | } |
217 | | impl<'a, T: VarULE + ?Sized, F: VarZeroVecFormat> VarZeroVecComponents<'a, T, F> { |
218 | | /// Construct a new [`VarZeroVecComponents`], checking invariants about the overall buffer size: |
219 | | /// |
220 | | /// - There must be either zero or at least four bytes (if four, this is the "length" parsed as a usize) |
221 | | /// - There must be at least `4*(length - 1) + 4` bytes total, to form the array `indices` of indices |
222 | | /// - `0..indices[0]` must index into a valid section of |
223 | | /// `things` (the data after `indices`), such that it parses to a `T::VarULE` |
224 | | /// - `indices[i - 1]..indices[i]` must index into a valid section of |
225 | | /// `things` (the data after `indices`), such that it parses to a `T::VarULE` |
226 | | /// - `indices[len - 2]..things.len()` must index into a valid section of |
227 | | /// `things`, such that it parses to a `T::VarULE` |
228 | | #[inline] |
229 | 0 | pub fn parse_bytes(slice: &'a [u8]) -> Result<Self, VarZeroVecFormatError> { |
230 | | // The empty VZV is special-cased to the empty slice |
231 | 0 | if slice.is_empty() { |
232 | 0 | return Ok(VarZeroVecComponents { |
233 | 0 | len: 0, |
234 | 0 | indices: &[], |
235 | 0 | things: &[], |
236 | 0 | marker: PhantomData, |
237 | 0 | }); |
238 | 0 | } |
239 | 0 | let len_bytes = slice |
240 | 0 | .get(0..F::Len::SIZE) |
241 | 0 | .ok_or(VarZeroVecFormatError::Metadata)?; |
242 | 0 | let len_ule = |
243 | 0 | F::Len::parse_bytes_to_slice(len_bytes).map_err(|_| VarZeroVecFormatError::Metadata)?; |
244 | | |
245 | 0 | let len = len_ule |
246 | 0 | .first() |
247 | 0 | .ok_or(VarZeroVecFormatError::Metadata)? |
248 | 0 | .iule_to_usize(); |
249 | | |
250 | 0 | let rest = slice |
251 | 0 | .get(F::Len::SIZE..) |
252 | 0 | .ok_or(VarZeroVecFormatError::Metadata)?; |
253 | 0 | let len_u32 = u32::try_from(len).map_err(|_| VarZeroVecFormatError::Metadata); |
254 | | // We pass down the rest of the invariants |
255 | 0 | Self::parse_bytes_with_length(len_u32?, rest) |
256 | 0 | } |
257 | | |
258 | | /// Construct a new [`VarZeroVecComponents`], checking invariants about the overall buffer size: |
259 | | /// |
260 | | /// - There must be at least `4*len` bytes total, to form the array `indices` of indices. |
261 | | /// - `indices[i]..indices[i+1]` must index into a valid section of |
262 | | /// `things` (the data after `indices`), such that it parses to a `T::VarULE` |
263 | | /// - `indices[len - 1]..things.len()` must index into a valid section of |
264 | | /// `things`, such that it parses to a `T::VarULE` |
265 | | #[inline] |
266 | 0 | pub fn parse_bytes_with_length( |
267 | 0 | len: u32, |
268 | 0 | slice: &'a [u8], |
269 | 0 | ) -> Result<Self, VarZeroVecFormatError> { |
270 | 0 | let len_minus_one = len.checked_sub(1); |
271 | | // The empty VZV is special-cased to the empty slice |
272 | 0 | let Some(len_minus_one) = len_minus_one else { |
273 | 0 | return Ok(VarZeroVecComponents { |
274 | 0 | len: 0, |
275 | 0 | indices: &[], |
276 | 0 | things: &[], |
277 | 0 | marker: PhantomData, |
278 | 0 | }); |
279 | | }; |
280 | | // The indices array is one element shorter since the first index is always 0, |
281 | | // so we use len_minus_one |
282 | 0 | let indices_bytes = slice |
283 | 0 | .get(..F::Index::SIZE * (len_minus_one as usize)) |
284 | 0 | .ok_or(VarZeroVecFormatError::Metadata)?; |
285 | 0 | let things = slice |
286 | 0 | .get(F::Index::SIZE * (len_minus_one as usize)..) |
287 | 0 | .ok_or(VarZeroVecFormatError::Metadata)?; |
288 | | |
289 | 0 | let borrowed = VarZeroVecComponents { |
290 | 0 | len, |
291 | 0 | indices: indices_bytes, |
292 | 0 | things, |
293 | 0 | marker: PhantomData, |
294 | 0 | }; |
295 | | |
296 | 0 | borrowed.check_indices_and_things()?; |
297 | | |
298 | 0 | Ok(borrowed) |
299 | 0 | } |
300 | | |
301 | | /// Construct a [`VarZeroVecComponents`] from a byte slice that has previously |
302 | | /// successfully returned a [`VarZeroVecComponents`] when passed to |
303 | | /// [`VarZeroVecComponents::parse_bytes()`]. Will return the same |
304 | | /// object as one would get from calling [`VarZeroVecComponents::parse_bytes()`]. |
305 | | /// |
306 | | /// # Safety |
307 | | /// The bytes must have previously successfully run through |
308 | | /// [`VarZeroVecComponents::parse_bytes()`] |
309 | 0 | pub unsafe fn from_bytes_unchecked(slice: &'a [u8]) -> Self { |
310 | | // The empty VZV is special-cased to the empty slice |
311 | 0 | if slice.is_empty() { |
312 | 0 | return VarZeroVecComponents { |
313 | 0 | len: 0, |
314 | 0 | indices: &[], |
315 | 0 | things: &[], |
316 | 0 | marker: PhantomData, |
317 | 0 | }; |
318 | 0 | } |
319 | 0 | let (len_bytes, data_bytes) = unsafe { slice.split_at_unchecked(F::Len::SIZE) }; |
320 | | // Safety: F::Len allows all byte sequences |
321 | 0 | let len_ule = F::Len::slice_from_bytes_unchecked(len_bytes); |
322 | | |
323 | 0 | let len = len_ule.get_unchecked(0).iule_to_usize(); |
324 | 0 | let len_u32 = len as u32; |
325 | | |
326 | | // Safety: This method requires the bytes to have passed through `parse_bytes()` |
327 | | // whereas we're calling something that asks for `parse_bytes_with_length()`. |
328 | | // The two methods perform similar validation, with parse_bytes() validating an additional |
329 | | // 4-byte `length` header. |
330 | 0 | Self::from_bytes_unchecked_with_length(len_u32, data_bytes) |
331 | 0 | } Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<zerovec::zerovec::slice::ZeroSlice<icu_properties::props::Script>, zerovec::varzerovec::components::Index16>>::from_bytes_unchecked Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<str, zerovec::varzerovec::components::Index16>>::from_bytes_unchecked Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<_, _>>::from_bytes_unchecked |
332 | | |
333 | | /// Construct a [`VarZeroVecComponents`] from a byte slice that has previously |
334 | | /// successfully returned a [`VarZeroVecComponents`] when passed to |
335 | | /// [`VarZeroVecComponents::parse_bytes()`]. Will return the same |
336 | | /// object as one would get from calling [`VarZeroVecComponents::parse_bytes()`]. |
337 | | /// |
338 | | /// # Safety |
339 | | /// The len,bytes must have previously successfully run through |
340 | | /// [`VarZeroVecComponents::parse_bytes_with_length()`] |
341 | 0 | pub unsafe fn from_bytes_unchecked_with_length(len: u32, slice: &'a [u8]) -> Self { |
342 | 0 | let len_minus_one = len.checked_sub(1); |
343 | | // The empty VZV is special-cased to the empty slice |
344 | 0 | let Some(len_minus_one) = len_minus_one else { |
345 | 0 | return VarZeroVecComponents { |
346 | 0 | len: 0, |
347 | 0 | indices: &[], |
348 | 0 | things: &[], |
349 | 0 | marker: PhantomData, |
350 | 0 | }; |
351 | | }; |
352 | | // The indices array is one element shorter since the first index is always 0, |
353 | | // so we use len_minus_one |
354 | 0 | let indices_bytes = slice.get_unchecked(..F::Index::SIZE * (len_minus_one as usize)); |
355 | 0 | let things = slice.get_unchecked(F::Index::SIZE * (len_minus_one as usize)..); |
356 | | |
357 | 0 | VarZeroVecComponents { |
358 | 0 | len, |
359 | 0 | indices: indices_bytes, |
360 | 0 | things, |
361 | 0 | marker: PhantomData, |
362 | 0 | } |
363 | 0 | } Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<zerovec::zerovec::slice::ZeroSlice<icu_properties::props::Script>, zerovec::varzerovec::components::Index16>>::from_bytes_unchecked_with_length Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<[u8], zerovec::varzerovec::components::Index16>>::from_bytes_unchecked_with_length Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<str, zerovec::varzerovec::components::Index16>>::from_bytes_unchecked_with_length Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<_, _>>::from_bytes_unchecked_with_length |
364 | | |
365 | | /// Get the number of elements in this vector |
366 | | #[inline] |
367 | 0 | pub fn len(self) -> usize { |
368 | 0 | self.len as usize |
369 | 0 | } Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<zerovec::zerovec::slice::ZeroSlice<icu_properties::props::Script>, zerovec::varzerovec::components::Index16>>::len Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<[u8], zerovec::varzerovec::components::Index16>>::len Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<str, zerovec::varzerovec::components::Index16>>::len Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<_, _>>::len |
370 | | |
371 | | /// Returns `true` if the vector contains no elements. |
372 | | #[inline] |
373 | 0 | pub fn is_empty(self) -> bool { |
374 | 0 | self.len == 0 |
375 | 0 | } Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<str, zerovec::varzerovec::components::Index16>>::is_empty Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<_, _>>::is_empty |
376 | | |
377 | | /// Get the idx'th element out of this slice. Returns `None` if out of bounds. |
378 | | #[inline] |
379 | 0 | pub fn get(self, idx: usize) -> Option<&'a T> { |
380 | 0 | if idx >= self.len() { |
381 | 0 | return None; |
382 | 0 | } |
383 | 0 | Some(unsafe { self.get_unchecked(idx) }) |
384 | 0 | } Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<zerovec::zerovec::slice::ZeroSlice<icu_properties::props::Script>, zerovec::varzerovec::components::Index16>>::get Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<str, zerovec::varzerovec::components::Index16>>::get Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<_, _>>::get |
385 | | |
386 | | /// Get the idx'th element out of this slice. Does not bounds check. |
387 | | /// |
388 | | /// Safety: |
389 | | /// - `idx` must be in bounds (`idx < self.len()`) |
390 | | #[inline] |
391 | 0 | pub(crate) unsafe fn get_unchecked(self, idx: usize) -> &'a T { |
392 | 0 | let range = self.get_things_range(idx); |
393 | 0 | let things_slice = self.things.get_unchecked(range); |
394 | 0 | T::from_bytes_unchecked(things_slice) |
395 | 0 | } Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<zerovec::zerovec::slice::ZeroSlice<icu_properties::props::Script>, zerovec::varzerovec::components::Index16>>::get_unchecked Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<[u8], zerovec::varzerovec::components::Index16>>::get_unchecked Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<str, zerovec::varzerovec::components::Index16>>::get_unchecked Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<_, _>>::get_unchecked |
396 | | |
397 | | /// Get the range in `things` for the element at `idx`. Does not bounds check. |
398 | | /// |
399 | | /// Safety: |
400 | | /// - `idx` must be in bounds (`idx < self.len()`) |
401 | | #[inline] |
402 | 0 | pub(crate) unsafe fn get_things_range(self, idx: usize) -> Range<usize> { |
403 | 0 | let start = if let Some(idx_minus_one) = idx.checked_sub(1) { |
404 | 0 | self.indices_slice() |
405 | 0 | .get_unchecked(idx_minus_one) |
406 | 0 | .iule_to_usize() |
407 | | } else { |
408 | 0 | 0 |
409 | | }; |
410 | 0 | let end = if idx + 1 == self.len() { |
411 | 0 | self.things.len() |
412 | | } else { |
413 | 0 | self.indices_slice().get_unchecked(idx).iule_to_usize() |
414 | | }; |
415 | 0 | debug_assert!(start <= end); |
416 | 0 | start..end |
417 | 0 | } Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<zerovec::zerovec::slice::ZeroSlice<icu_properties::props::Script>, zerovec::varzerovec::components::Index16>>::get_things_range Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<[u8], zerovec::varzerovec::components::Index16>>::get_things_range Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<str, zerovec::varzerovec::components::Index16>>::get_things_range Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<_, _>>::get_things_range |
418 | | |
419 | | /// Get the size, in bytes, of the indices array |
420 | 0 | pub(crate) unsafe fn get_indices_size(self) -> usize { |
421 | 0 | self.indices.len() |
422 | 0 | } Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<[u8], zerovec::varzerovec::components::Index16>>::get_indices_size Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<_, _>>::get_indices_size |
423 | | |
424 | | /// Check the internal invariants of [`VarZeroVecComponents`]: |
425 | | /// |
426 | | /// - `indices[i]..indices[i+1]` must index into a valid section of |
427 | | /// `things`, such that it parses to a `T::VarULE` |
428 | | /// - `indices[len - 1]..things.len()` must index into a valid section of |
429 | | /// `things`, such that it parses to a `T::VarULE` |
430 | | /// - `indices` is monotonically increasing |
431 | | /// |
432 | | /// This method is NOT allowed to call any other methods on [`VarZeroVecComponents`] since all other methods |
433 | | /// assume that the slice has been passed through [`Self::check_indices_and_things`] |
434 | | #[inline] |
435 | | #[expect(clippy::len_zero)] // more explicit to enforce safety invariants |
436 | 0 | fn check_indices_and_things(self) -> Result<(), VarZeroVecFormatError> { |
437 | 0 | if self.len() == 0 { |
438 | 0 | if self.things.len() > 0 { |
439 | 0 | return Err(VarZeroVecFormatError::Metadata); |
440 | | } else { |
441 | 0 | return Ok(()); |
442 | | } |
443 | 0 | } |
444 | 0 | let indices_slice = self.indices_slice(); |
445 | 0 | assert_eq!(self.len(), indices_slice.len() + 1); |
446 | | // Safety: i is in bounds (assertion above) |
447 | 0 | let mut start = 0; |
448 | 0 | for i in 0..self.len() { |
449 | | // The indices array is offset by 1: indices[0] is the end of the first |
450 | | // element and the start of the next, since the start of the first element |
451 | | // is always things[0]. So to get the end we get element `i`. |
452 | 0 | let end = if let Some(end) = indices_slice.get(i) { |
453 | 0 | end.iule_to_usize() |
454 | | } else { |
455 | | // This only happens at i = self.len() - 1 = indices_slice.len() + 1 - 1 |
456 | | // = indices_slice.len(). This is the last `end`, which is always the size of |
457 | | // `things` and thus never stored in the array |
458 | 0 | self.things.len() |
459 | | }; |
460 | | |
461 | 0 | if start > end { |
462 | 0 | return Err(VarZeroVecFormatError::Metadata); |
463 | 0 | } |
464 | 0 | if end > self.things.len() { |
465 | 0 | return Err(VarZeroVecFormatError::Metadata); |
466 | 0 | } |
467 | | // Safety: start..end is a valid range in self.things |
468 | 0 | let bytes = unsafe { self.things.get_unchecked(start..end) }; |
469 | 0 | T::parse_bytes(bytes).map_err(VarZeroVecFormatError::Values)?; |
470 | 0 | start = end; |
471 | | } |
472 | 0 | Ok(()) |
473 | 0 | } |
474 | | |
475 | | /// Create an iterator over the Ts contained in [`VarZeroVecComponents`] |
476 | | #[inline] |
477 | 0 | pub fn iter(self) -> VarZeroSliceIter<'a, T, F> { |
478 | 0 | VarZeroSliceIter::new(self) |
479 | 0 | } Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<str, zerovec::varzerovec::components::Index16>>::iter Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<_, _>>::iter |
480 | | |
481 | | #[cfg(feature = "alloc")] |
482 | | pub fn to_vec(self) -> alloc::vec::Vec<alloc::boxed::Box<T>> { |
483 | | self.iter().map(T::to_boxed).collect() |
484 | | } |
485 | | |
486 | | #[inline] |
487 | 0 | fn indices_slice(&self) -> &'a [F::Index] { |
488 | 0 | unsafe { F::Index::slice_from_bytes_unchecked(self.indices) } |
489 | 0 | } Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<zerovec::zerovec::slice::ZeroSlice<icu_properties::props::Script>, zerovec::varzerovec::components::Index16>>::indices_slice Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<[u8], zerovec::varzerovec::components::Index16>>::indices_slice Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<str, zerovec::varzerovec::components::Index16>>::indices_slice Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<_, _>>::indices_slice |
490 | | |
491 | | // Dump a debuggable representation of this type |
492 | | #[allow(unused)] // useful for debugging |
493 | | #[cfg(feature = "alloc")] |
494 | | pub(crate) fn dump(&self) -> alloc::string::String { |
495 | | let indices = self |
496 | | .indices_slice() |
497 | | .iter() |
498 | | .copied() |
499 | | .map(IntegerULE::iule_to_usize) |
500 | | .collect::<alloc::vec::Vec<_>>(); |
501 | | alloc::format!("VarZeroVecComponents {{ indices: {indices:?} }}") |
502 | | } |
503 | | } |
504 | | |
505 | | /// An iterator over [`VarZeroSlice`](super::VarZeroSlice) |
506 | | #[derive(Debug)] |
507 | | pub struct VarZeroSliceIter<'a, T: ?Sized, F = Index16> { |
508 | | components: VarZeroVecComponents<'a, T, F>, |
509 | | index: usize, |
510 | | // Safety invariant: must be a valid index into the data segment of `components`, or an index at the end |
511 | | // i.e. start_index <= components.things.len() |
512 | | // |
513 | | // It must be a valid index into the `things` array of components, coming from `components.indices_slice()` |
514 | | start_index: usize, |
515 | | } |
516 | | |
517 | | impl<'a, T: VarULE + ?Sized, F: VarZeroVecFormat> Clone for VarZeroSliceIter<'a, T, F> { |
518 | 0 | fn clone(&self) -> Self { |
519 | 0 | Self { |
520 | 0 | components: self.components, |
521 | 0 | index: self.index, |
522 | 0 | start_index: self.start_index, |
523 | 0 | } |
524 | 0 | } |
525 | | } |
526 | | |
527 | | impl<'a, T: VarULE + ?Sized, F: VarZeroVecFormat> VarZeroSliceIter<'a, T, F> { |
528 | 0 | fn new(c: VarZeroVecComponents<'a, T, F>) -> Self { |
529 | 0 | Self { |
530 | 0 | components: c, |
531 | 0 | index: 0, |
532 | 0 | // Invariant upheld, 0 is always a valid index-or-end |
533 | 0 | start_index: 0, |
534 | 0 | } |
535 | 0 | } Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroSliceIter<str>>::new Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroSliceIter<_, _>>::new |
536 | | } |
537 | | impl<'a, T: VarULE + ?Sized, F: VarZeroVecFormat> Iterator for VarZeroSliceIter<'a, T, F> { |
538 | | type Item = &'a T; |
539 | | |
540 | 0 | fn next(&mut self) -> Option<Self::Item> { |
541 | | // Note: the indices array doesn't contain 0 or len, we need to specially handle those edges. The 0 is handled |
542 | | // by start_index, and the len is handled by the code for `end`. |
543 | | |
544 | 0 | if self.index >= self.components.len() { |
545 | 0 | return None; |
546 | 0 | } |
547 | | |
548 | | // Invariant established: self.index is in bounds for self.components.len(), |
549 | | // which means it is in bounds for self.components.indices_slice() since that has the same length |
550 | | |
551 | 0 | let end = if self.index + 1 == self.components.len() { |
552 | | // We don't store the end index since it is computable, so the last element should use self.components.things.len() |
553 | 0 | self.components.things.len() |
554 | | } else { |
555 | | // Safety: self.index was known to be in bounds from the bounds check above. |
556 | | unsafe { |
557 | 0 | self.components |
558 | 0 | .indices_slice() |
559 | 0 | .get_unchecked(self.index) |
560 | 0 | .iule_to_usize() |
561 | | } |
562 | | }; |
563 | | // Invariant established: end has the same invariant as self.start_index since it comes from indices_slice, which is guaranteed |
564 | | // to only contain valid indexes |
565 | | |
566 | 0 | let item = unsafe { |
567 | | // Safety: self.start_index and end both have in-range invariants, plus they are valid indices from indices_slice |
568 | | // which means we can treat this data as a T |
569 | 0 | T::from_bytes_unchecked(self.components.things.get_unchecked(self.start_index..end)) |
570 | | }; |
571 | 0 | self.index += 1; |
572 | | // Invariant upheld: end has the same invariant as self.start_index |
573 | 0 | self.start_index = end; |
574 | 0 | Some(item) |
575 | 0 | } Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroSliceIter<str> as core::iter::traits::iterator::Iterator>::next Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroSliceIter<_, _> as core::iter::traits::iterator::Iterator>::next |
576 | | |
577 | 0 | fn size_hint(&self) -> (usize, Option<usize>) { |
578 | 0 | let remainder = self.components.len() - self.index; |
579 | 0 | (remainder, Some(remainder)) |
580 | 0 | } |
581 | | } |
582 | | |
583 | | impl<'a, T: VarULE + ?Sized, F: VarZeroVecFormat> ExactSizeIterator for VarZeroSliceIter<'a, T, F> { |
584 | 0 | fn len(&self) -> usize { |
585 | 0 | self.components.len() - self.index |
586 | 0 | } |
587 | | } |
588 | | |
589 | | impl<'a, T, F> VarZeroVecComponents<'a, T, F> |
590 | | where |
591 | | T: VarULE, |
592 | | T: ?Sized, |
593 | | T: Ord, |
594 | | F: VarZeroVecFormat, |
595 | | { |
596 | | /// Binary searches a sorted `VarZeroVecComponents<T>` for the given element. For more information, see |
597 | | /// the primitive function [`binary_search`](slice::binary_search). |
598 | 0 | pub fn binary_search(&self, needle: &T) -> Result<usize, usize> { |
599 | 0 | self.binary_search_by(|probe| probe.cmp(needle)) Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<str, zerovec::varzerovec::components::Index16>>::binary_search::{closure#0}Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<_, _>>::binary_search::{closure#0} |
600 | 0 | } Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<str, zerovec::varzerovec::components::Index16>>::binary_search Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<_, _>>::binary_search |
601 | | |
602 | 0 | pub fn binary_search_in_range( |
603 | 0 | &self, |
604 | 0 | needle: &T, |
605 | 0 | range: Range<usize>, |
606 | 0 | ) -> Option<Result<usize, usize>> { |
607 | 0 | self.binary_search_in_range_by(|probe| probe.cmp(needle), range) |
608 | 0 | } |
609 | | } |
610 | | |
611 | | impl<'a, T, F> VarZeroVecComponents<'a, T, F> |
612 | | where |
613 | | T: VarULE, |
614 | | T: ?Sized, |
615 | | F: VarZeroVecFormat, |
616 | | { |
617 | | /// Binary searches a sorted `VarZeroVecComponents<T>` for the given predicate. For more information, see |
618 | | /// the primitive function [`binary_search_by`](slice::binary_search_by). |
619 | 0 | pub fn binary_search_by(&self, predicate: impl FnMut(&T) -> Ordering) -> Result<usize, usize> { |
620 | | // Safety: 0 and len are in range |
621 | 0 | unsafe { self.binary_search_in_range_unchecked(predicate, 0..self.len()) } |
622 | 0 | } Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<str, zerovec::varzerovec::components::Index16>>::binary_search_by::<<icu_collections::codepointinvliststringlist::CodePointInversionListAndStringList>::contains_utf8::{closure#0}>Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<str, zerovec::varzerovec::components::Index16>>::binary_search_by::<<zerovec::varzerovec::components::VarZeroVecComponents<str, zerovec::varzerovec::components::Index16>>::binary_search::{closure#0}>Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<_, _>>::binary_search_by::<_> |
623 | | |
624 | | // Binary search within a range. |
625 | | // Values returned are relative to the range start! |
626 | 0 | pub fn binary_search_in_range_by( |
627 | 0 | &self, |
628 | 0 | predicate: impl FnMut(&T) -> Ordering, |
629 | 0 | range: Range<usize>, |
630 | 0 | ) -> Option<Result<usize, usize>> { |
631 | 0 | if range.end > self.len() { |
632 | 0 | return None; |
633 | 0 | } |
634 | 0 | if range.end < range.start { |
635 | 0 | return None; |
636 | 0 | } |
637 | | // Safety: We bounds checked above: end is in-bounds or len, and start is <= end |
638 | 0 | let range_absolute = |
639 | 0 | unsafe { self.binary_search_in_range_unchecked(predicate, range.clone()) }; |
640 | | // The values returned are relative to the range start |
641 | | Some( |
642 | 0 | range_absolute |
643 | 0 | .map(|o| o - range.start) |
644 | 0 | .map_err(|e| e - range.start), |
645 | | ) |
646 | 0 | } |
647 | | |
648 | | /// Safety: range must be in range for the slice (start <= len, end <= len, start <= end) |
649 | 0 | unsafe fn binary_search_in_range_unchecked( |
650 | 0 | &self, |
651 | 0 | mut predicate: impl FnMut(&T) -> Ordering, |
652 | 0 | range: Range<usize>, |
653 | 0 | ) -> Result<usize, usize> { |
654 | | // Function invariant: size is always end - start |
655 | 0 | let mut start = range.start; |
656 | 0 | let mut end = range.end; |
657 | | let mut size; |
658 | | |
659 | | // Loop invariant: 0 <= start < end <= len |
660 | | // This invariant is initialized by the function safety invariants and the loop condition |
661 | 0 | while start < end { |
662 | 0 | size = end - start; |
663 | | // This establishes mid < end (which implies mid < len) |
664 | | // size is end - start. start + size is end (which is <= len). |
665 | | // mid = start + size/2 will be less than end |
666 | 0 | let mid = start + size / 2; |
667 | | |
668 | | // Safety: mid is < end <= len, so in-range |
669 | 0 | let cmp = predicate(self.get_unchecked(mid)); |
670 | | |
671 | 0 | match cmp { |
672 | 0 | Ordering::Less => { |
673 | 0 | // This retains the loop invariant since it |
674 | 0 | // increments start, and we already have 0 <= start |
675 | 0 | // start < end is enforced by the loop condition |
676 | 0 | start = mid + 1; |
677 | 0 | } |
678 | 0 | Ordering::Greater => { |
679 | 0 | // mid < end, so this decreases end. |
680 | 0 | // This means end <= len is still true, and |
681 | 0 | // end > start is enforced by the loop condition |
682 | 0 | end = mid; |
683 | 0 | } |
684 | 0 | Ordering::Equal => return Ok(mid), |
685 | | } |
686 | | } |
687 | 0 | Err(start) |
688 | 0 | } Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<str, zerovec::varzerovec::components::Index16>>::binary_search_in_range_unchecked::<<icu_collections::codepointinvliststringlist::CodePointInversionListAndStringList>::contains_utf8::{closure#0}>Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<str, zerovec::varzerovec::components::Index16>>::binary_search_in_range_unchecked::<<zerovec::varzerovec::components::VarZeroVecComponents<str, zerovec::varzerovec::components::Index16>>::binary_search::{closure#0}>Unexecuted instantiation: <zerovec::varzerovec::components::VarZeroVecComponents<_, _>>::binary_search_in_range_unchecked::<_> |
689 | | } |
690 | | |
691 | | /// Collects the bytes for a [`VarZeroSlice`](super::VarZeroSlice) into a [`Vec`]. |
692 | | #[cfg(feature = "alloc")] |
693 | | pub fn get_serializable_bytes_non_empty<T, A, F>(elements: &[A]) -> Option<alloc::vec::Vec<u8>> |
694 | | where |
695 | | T: VarULE + ?Sized, |
696 | | A: EncodeAsVarULE<T>, |
697 | | F: VarZeroVecFormat, |
698 | | { |
699 | | debug_assert!(!elements.is_empty()); |
700 | | let len = compute_serializable_len::<T, A, F>(elements)?; |
701 | | debug_assert!( |
702 | | len >= F::Len::SIZE as u32, |
703 | | "Must have at least F::Len::SIZE bytes to hold the length of the vector" |
704 | | ); |
705 | | let mut output = alloc::vec![0u8; len as usize]; |
706 | | write_serializable_bytes::<T, A, F>(elements, &mut output); |
707 | | Some(output) |
708 | | } |
709 | | |
710 | | /// Writes the bytes for a [`VarZeroLengthlessSlice`](super::lenghtless::VarZeroLengthlessSlice) into an output buffer. |
711 | | /// Usable for a [`VarZeroSlice`](super::VarZeroSlice) if you first write the length bytes. |
712 | | /// |
713 | | /// Every byte in the buffer will be initialized after calling this function. |
714 | | /// |
715 | | /// # Panics |
716 | | /// |
717 | | /// Panics if the buffer is not exactly the correct length. |
718 | 0 | pub fn write_serializable_bytes_without_length<T, A, F>(elements: &[A], output: &mut [u8]) |
719 | 0 | where |
720 | 0 | T: VarULE + ?Sized, |
721 | 0 | A: EncodeAsVarULE<T>, |
722 | 0 | F: VarZeroVecFormat, |
723 | | { |
724 | 0 | assert!(elements.len() <= F::Len::MAX_VALUE as usize); |
725 | 0 | if elements.is_empty() { |
726 | 0 | return; |
727 | 0 | } |
728 | | |
729 | | // idx_offset = offset from the start of the buffer for the next index |
730 | 0 | let mut idx_offset: usize = 0; |
731 | | // first_dat_offset = offset from the start of the buffer of the first data block |
732 | 0 | let first_dat_offset: usize = idx_offset + (elements.len() - 1) * F::Index::SIZE; |
733 | | // dat_offset = offset from the start of the buffer of the next data block |
734 | 0 | let mut dat_offset: usize = first_dat_offset; |
735 | | |
736 | 0 | for (i, element) in elements.iter().enumerate() { |
737 | 0 | let element_len = element.encode_var_ule_len(); |
738 | | |
739 | | // The first index is always 0. We don't write it, or update the idx offset. |
740 | 0 | if i != 0 { |
741 | 0 | let idx_limit = idx_offset + F::Index::SIZE; |
742 | | #[expect(clippy::indexing_slicing)] // Function contract allows panicky behavior |
743 | 0 | let idx_slice = &mut output[idx_offset..idx_limit]; |
744 | | // VZV expects data offsets to be stored relative to the first data block |
745 | 0 | let idx = dat_offset - first_dat_offset; |
746 | 0 | assert!(idx <= F::Index::MAX_VALUE as usize); |
747 | | #[expect(clippy::expect_used)] // this function is explicitly panicky |
748 | 0 | let bytes_to_write = F::Index::iule_from_usize(idx).expect(F::Index::TOO_LARGE_ERROR); |
749 | 0 | idx_slice.copy_from_slice(ULE::slice_as_bytes(&[bytes_to_write])); |
750 | | |
751 | 0 | idx_offset = idx_limit; |
752 | 0 | } |
753 | | |
754 | 0 | let dat_limit = dat_offset + element_len; |
755 | | #[expect(clippy::indexing_slicing)] // Function contract allows panicky behavior |
756 | 0 | let dat_slice = &mut output[dat_offset..dat_limit]; |
757 | 0 | element.encode_var_ule_write(dat_slice); |
758 | 0 | debug_assert_eq!(T::validate_bytes(dat_slice), Ok(())); |
759 | 0 | dat_offset = dat_limit; |
760 | | } |
761 | | |
762 | 0 | debug_assert_eq!(idx_offset, F::Index::SIZE * (elements.len() - 1)); |
763 | 0 | assert_eq!(dat_offset, output.len()); |
764 | 0 | } Unexecuted instantiation: zerovec::varzerovec::components::write_serializable_bytes_without_length::<[u8], zerovec::ule::multi::BlankSliceEncoder, zerovec::varzerovec::components::Index16> Unexecuted instantiation: zerovec::varzerovec::components::write_serializable_bytes_without_length::<_, _, _> |
765 | | |
766 | | /// Writes the bytes for a [`VarZeroSlice`](super::VarZeroSlice) into an output buffer. |
767 | | /// |
768 | | /// Every byte in the buffer will be initialized after calling this function. |
769 | | /// |
770 | | /// # Panics |
771 | | /// |
772 | | /// Panics if the buffer is not exactly the correct length. |
773 | 0 | pub fn write_serializable_bytes<T, A, F>(elements: &[A], output: &mut [u8]) |
774 | 0 | where |
775 | 0 | T: VarULE + ?Sized, |
776 | 0 | A: EncodeAsVarULE<T>, |
777 | 0 | F: VarZeroVecFormat, |
778 | | { |
779 | 0 | if elements.is_empty() { |
780 | 0 | return; |
781 | 0 | } |
782 | 0 | assert!(elements.len() <= F::Len::MAX_VALUE as usize); |
783 | | #[expect(clippy::expect_used)] // This function is explicitly panicky |
784 | 0 | let num_elements_ule = F::Len::iule_from_usize(elements.len()).expect(F::Len::TOO_LARGE_ERROR); |
785 | | #[expect(clippy::indexing_slicing)] // Function contract allows panicky behavior |
786 | 0 | output[0..F::Len::SIZE].copy_from_slice(ULE::slice_as_bytes(&[num_elements_ule])); |
787 | | |
788 | | #[expect(clippy::indexing_slicing)] // Function contract allows panicky behavior |
789 | 0 | write_serializable_bytes_without_length::<T, A, F>(elements, &mut output[F::Len::SIZE..]); |
790 | 0 | } |
791 | | |
792 | 0 | pub fn compute_serializable_len_without_length<T, A, F>(elements: &[A]) -> Option<u32> |
793 | 0 | where |
794 | 0 | T: VarULE + ?Sized, |
795 | 0 | A: EncodeAsVarULE<T>, |
796 | 0 | F: VarZeroVecFormat, |
797 | | { |
798 | 0 | let elements_len = elements.len(); |
799 | 0 | let Some(elements_len_minus_one) = elements_len.checked_sub(1) else { |
800 | | // Empty vec is optimized to an empty byte representation |
801 | 0 | return Some(0); |
802 | | }; |
803 | 0 | let idx_len: u32 = u32::try_from(elements_len_minus_one) |
804 | 0 | .ok()? |
805 | 0 | .checked_mul(F::Index::SIZE as u32)?; |
806 | 0 | let data_len: u32 = elements |
807 | 0 | .iter() |
808 | 0 | .map(|v| u32::try_from(v.encode_var_ule_len()).ok()) Unexecuted instantiation: zerovec::varzerovec::components::compute_serializable_len_without_length::<[u8], zerovec::ule::multi::BlankSliceEncoder, zerovec::varzerovec::components::Index16>::{closure#0}Unexecuted instantiation: zerovec::varzerovec::components::compute_serializable_len_without_length::<_, _, _>::{closure#0} |
809 | 0 | .try_fold(0u32, |s, v| s.checked_add(v?))?; Unexecuted instantiation: zerovec::varzerovec::components::compute_serializable_len_without_length::<[u8], zerovec::ule::multi::BlankSliceEncoder, zerovec::varzerovec::components::Index16>::{closure#1}Unexecuted instantiation: zerovec::varzerovec::components::compute_serializable_len_without_length::<_, _, _>::{closure#1} |
810 | 0 | let ret = idx_len.checked_add(data_len); |
811 | 0 | if let Some(r) = ret { |
812 | 0 | if r >= F::Index::MAX_VALUE { |
813 | 0 | return None; |
814 | 0 | } |
815 | 0 | } |
816 | 0 | ret |
817 | 0 | } Unexecuted instantiation: zerovec::varzerovec::components::compute_serializable_len_without_length::<[u8], zerovec::ule::multi::BlankSliceEncoder, zerovec::varzerovec::components::Index16> Unexecuted instantiation: zerovec::varzerovec::components::compute_serializable_len_without_length::<_, _, _> |
818 | | |
819 | 0 | pub fn compute_serializable_len<T, A, F>(elements: &[A]) -> Option<u32> |
820 | 0 | where |
821 | 0 | T: VarULE + ?Sized, |
822 | 0 | A: EncodeAsVarULE<T>, |
823 | 0 | F: VarZeroVecFormat, |
824 | | { |
825 | 0 | compute_serializable_len_without_length::<T, A, F>(elements).map(|x| x + F::Len::SIZE as u32) |
826 | 0 | } |