icu_collections/codepointinvlist/
utils.rs

Help
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
5use core::{
6    char,
7    ops::{Bound::*, RangeBounds},
8};
9use zerovec::ule::AsULE;
10use zerovec::ZeroVec;
11
12/// Returns whether the vector is sorted ascending non inclusive, of even length,
13/// and within the bounds of `0x0 -> 0x10FFFF + 1` inclusive.
14#[allow(clippy::indexing_slicing)] // windows
15#[allow(clippy::unwrap_used)] // by is_empty check
16pub fn is_valid_zv(inv_list_zv: &ZeroVec<'_, u32>) -> bool {
17    inv_list_zv.is_empty()
18        || (inv_list_zv.len() % 2 == 0
19            && inv_list_zv.as_ule_slice().windows(2).all(|chunk| {
20                <u32 as AsULE>::from_unaligned(chunk[0]) < <u32 as AsULE>::from_unaligned(chunk[1])
21            })
22            && inv_list_zv.last().unwrap() <= char::MAX as u32 + 1)
23}
24
25/// Returns start (inclusive) and end (exclusive) bounds of [`RangeBounds`]
26pub fn deconstruct_range<T, R: RangeBounds<T>>(range: &R) -> (u32, u32)
27where
28    T: Into<u32> + Copy,
29{
30    let from = match range.start_bound() {
31        Included(b) => (*b).into(),
32        Excluded(_) => unreachable!(),
33        Unbounded => 0,
34    };
35    let till = match range.end_bound() {
36        Included(b) => (*b).into() + 1,
37        Excluded(b) => (*b).into(),
38        Unbounded => (char::MAX as u32) + 1,
39    };
40    (from, till)
41}
42
43#[cfg(test)]
44mod tests {
45    use super::{deconstruct_range, is_valid_zv};
46    use core::char;
47    use zerovec::ZeroVec;
48
49    #[test]
50    fn test_is_valid_zv() {
51        let check = ZeroVec::from_slice_or_alloc(&[0x2, 0x3, 0x4, 0x5]);
52        assert!(is_valid_zv(&check));
53    }
54
55    #[test]
56    fn test_is_valid_zv_empty() {
57        let check = ZeroVec::from_slice_or_alloc(&[]);
58        assert!(is_valid_zv(&check));
59    }
60
61    #[test]
62    fn test_is_valid_zv_overlapping() {
63        let check = ZeroVec::from_slice_or_alloc(&[0x2, 0x5, 0x4, 0x6]);
64        assert!(!is_valid_zv(&check));
65    }
66
67    #[test]
68    fn test_is_valid_zv_out_of_order() {
69        let check = ZeroVec::from_slice_or_alloc(&[0x5, 0x4, 0x5, 0x6, 0x7]);
70        assert!(!is_valid_zv(&check));
71    }
72
73    #[test]
74    fn test_is_valid_zv_duplicate() {
75        let check = ZeroVec::from_slice_or_alloc(&[0x1, 0x2, 0x3, 0x3, 0x5]);
76        assert!(!is_valid_zv(&check));
77    }
78
79    #[test]
80    fn test_is_valid_zv_odd() {
81        let check = ZeroVec::from_slice_or_alloc(&[0x1, 0x2, 0x3, 0x4, 0x5]);
82        assert!(!is_valid_zv(&check));
83    }
84
85    #[test]
86    fn test_is_valid_zv_out_of_range() {
87        let check = ZeroVec::from_slice_or_alloc(&[0x1, 0x2, 0x3, 0x4, (char::MAX as u32) + 1]);
88        assert!(!is_valid_zv(&check));
89    }
90
91    // deconstruct_range
92
93    #[test]
94    fn test_deconstruct_range() {
95        let expected = (0x41, 0x45);
96        let check = deconstruct_range(&('A'..'E')); // Range
97        assert_eq!(check, expected);
98        let check = deconstruct_range(&('A'..='D')); // Range Inclusive
99        assert_eq!(check, expected);
100        let check = deconstruct_range(&('A'..)); // Range From
101        assert_eq!(check, (0x41, (char::MAX as u32) + 1));
102        let check = deconstruct_range(&(..'A')); // Range To
103        assert_eq!(check, (0x0, 0x41));
104        let check = deconstruct_range(&(..='A')); // Range To Inclusive
105        assert_eq!(check, (0x0, 0x42));
106        let check = deconstruct_range::<char, _>(&(..)); // Range Full
107        assert_eq!(check, (0x0, (char::MAX as u32) + 1));
108    }
109}
icu_collections/codepointinvlist/utils.rs

icu_collections/codepointinvlist/
utils.rs
