pub struct CodePointInversionListAndStringList<'data> {
    cp_inv_list: CodePointInversionList<'data>,
    str_list: VarZeroVec<'data, str>,
}
Expand description

A data structure providing a concrete implementation of a UnicodeSet (which represents a set of code points and strings) using an inversion list for the code points and a simple list-like structure to store and iterate over the strings.

Fields§

§cp_inv_list: CodePointInversionList<'data>§str_list: VarZeroVec<'data, str>

Implementations§

source§

impl<'data> CodePointInversionListAndStringList<'data>

source

pub fn try_from( cp_inv_list: CodePointInversionList<'data>, str_list: VarZeroVec<'data, str> ) -> Result<Self, CodePointInversionListAndStringListError>

Returns a new CodePointInversionListAndStringList from both a CodePointInversionList for the code points and a VarZeroVec<str> of strings.

source

pub fn size(&self) -> usize

Returns the number of elements in this set (its cardinality). Note than the elements of a set may include both individual codepoints and strings.

source

pub fn has_strings(&self) -> bool

Return true if this set contains multi-code point strings or the empty string.

source

pub fn contains(&self, s: &str) -> bool

Examples
use icu_collections::codepointinvlist::CodePointInversionList;
use icu_collections::codepointinvliststringlist::CodePointInversionListAndStringList;
use zerovec::VarZeroVec;

let cp_slice = &[0, 0x1_0000, 0x10_FFFF, 0x11_0000];
let cp_list =
   CodePointInversionList::try_clone_from_inversion_list_slice(cp_slice).unwrap();
let str_slice = &["", "bmp_max", "unicode_max", "zero"];
let str_list = VarZeroVec::<str>::from(str_slice);

let cpilsl = CodePointInversionListAndStringList::try_from(cp_list, str_list).unwrap();

assert!(cpilsl.contains("bmp_max"));
assert!(cpilsl.contains(""));
assert!(cpilsl.contains("A"));
assert!(cpilsl.contains("ቔ"));  // U+1254 ETHIOPIC SYLLABLE QHEE
assert!(!cpilsl.contains("bazinga!"));
source

pub fn contains32(&self, cp: u32) -> bool

Examples
use icu_collections::codepointinvlist::CodePointInversionList;
use icu_collections::codepointinvliststringlist::CodePointInversionListAndStringList;
use zerovec::VarZeroVec;

let cp_slice = &[0, 0x80, 0xFFFF, 0x1_0000, 0x10_FFFF, 0x11_0000];
let cp_list =
    CodePointInversionList::try_clone_from_inversion_list_slice(cp_slice).unwrap();
let str_slice = &["", "ascii_max", "bmp_max", "unicode_max", "zero"];
let str_list = VarZeroVec::<str>::from(str_slice);

let cpilsl = CodePointInversionListAndStringList::try_from(cp_list, str_list).unwrap();

assert!(cpilsl.contains32(0));
assert!(cpilsl.contains32(0x0042));
assert!(!cpilsl.contains32(0x0080));
source

pub fn contains_char(&self, ch: char) -> bool

Examples
use icu_collections::codepointinvlist::CodePointInversionList;
use icu_collections::codepointinvliststringlist::CodePointInversionListAndStringList;
use zerovec::VarZeroVec;

let cp_slice = &[0, 0x1_0000, 0x10_FFFF, 0x11_0000];
let cp_list =
   CodePointInversionList::try_clone_from_inversion_list_slice(cp_slice).unwrap();
let str_slice = &["", "bmp_max", "unicode_max", "zero"];
let str_list = VarZeroVec::<str>::from(str_slice);

let cpilsl = CodePointInversionListAndStringList::try_from(cp_list, str_list).unwrap();

assert!(cpilsl.contains_char('A'));
assert!(cpilsl.contains_char('ቔ'));  // U+1254 ETHIOPIC SYLLABLE QHEE
assert!(!cpilsl.contains_char('\u{1_0000}'));
assert!(!cpilsl.contains_char('🨫'));  // U+1FA2B NEUTRAL CHESS TURNED QUEEN
source

pub fn code_points(&self) -> &CodePointInversionList<'data>

Access the underlying CodePointInversionList.

source

pub fn strings(&self) -> &VarZeroSlice<str>

Access the contained strings.

Trait Implementations§

source§

impl<'data> Clone for CodePointInversionListAndStringList<'data>

source§

fn clone(&self) -> CodePointInversionListAndStringList<'data>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<'data> Debug for CodePointInversionListAndStringList<'data>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<'data> EncodeAsVarULE<CodePointInversionListAndStringListULE> for &CodePointInversionListAndStringList<'data>

source§

fn encode_var_ule_as_slices<R>(&self, cb: impl FnOnce(&[&[u8]]) -> R) -> R

Calls cb with a piecewise list of byte slices that when concatenated produce the memory pattern of the corresponding instance of T. Read more
source§

fn encode_var_ule_len(&self) -> usize

Return the length, in bytes, of the corresponding VarULE type
source§

fn encode_var_ule_write(&self, dst: &mut [u8])

Write the corresponding VarULE type to the dst buffer. dst should be the size of Self::encode_var_ule_len()
source§

impl<'data> EncodeAsVarULE<CodePointInversionListAndStringListULE> for CodePointInversionListAndStringList<'data>

source§

fn encode_var_ule_as_slices<R>(&self, cb: impl FnOnce(&[&[u8]]) -> R) -> R

Calls cb with a piecewise list of byte slices that when concatenated produce the memory pattern of the corresponding instance of T. Read more
source§

fn encode_var_ule_len(&self) -> usize

Return the length, in bytes, of the corresponding VarULE type
source§

fn encode_var_ule_write(&self, dst: &mut [u8])

Write the corresponding VarULE type to the dst buffer. dst should be the size of Self::encode_var_ule_len()
source§

impl<'a> FromIterator<&'a str> for CodePointInversionListAndStringList<'_>

source§

fn from_iter<I>(it: I) -> Selfwhere I: IntoIterator<Item = &'a str>,

Creates a value from an iterator. Read more
source§

impl<'data> PartialEq<CodePointInversionListAndStringList<'data>> for CodePointInversionListAndStringList<'data>

source§

fn eq(&self, other: &CodePointInversionListAndStringList<'data>) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl<'a> Yokeable<'a> for CodePointInversionListAndStringList<'static>

§

type Output = CodePointInversionListAndStringList<'a>

This type MUST be Self with the 'static replaced with 'a, i.e. Self<'a>
source§

fn transform(&'a self) -> &'a Self::Output

This method must cast self between &'a Self<'static> and &'a Self<'a>. Read more
source§

fn transform_owned(self) -> Self::Output

This method must cast self between Self<'static> and Self<'a>. Read more
source§

unsafe fn make(this: Self::Output) -> Self

This method can be used to cast away Self<'a>’s lifetime. Read more
source§

fn transform_mut<F>(&'a mut self, f: F)where F: 'static + for<'b> FnOnce(&'b mut Self::Output),

This method must cast self between &'a mut Self<'static> and &'a mut Self<'a>, and pass it to f. Read more
source§

impl<'data> ZeroFrom<'data, CodePointInversionListAndStringListULE> for CodePointInversionListAndStringList<'data>

source§

fn zero_from(other: &'data CodePointInversionListAndStringListULE) -> Self

Clone the other C into a struct that may retain references into C.
source§

impl<'zf, 'zf_inner> ZeroFrom<'zf, CodePointInversionListAndStringList<'zf_inner>> for CodePointInversionListAndStringList<'zf>

source§

fn zero_from(this: &'zf CodePointInversionListAndStringList<'zf_inner>) -> Self

Clone the other C into a struct that may retain references into C.
source§

impl<'data> Eq for CodePointInversionListAndStringList<'data>

source§

impl<'data> StructuralEq for CodePointInversionListAndStringList<'data>

source§

impl<'data> StructuralPartialEq for CodePointInversionListAndStringList<'data>

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<T> ErasedDestructor for Twhere T: 'static,