Struct regex_syntax::hir::ClassUnicode

source ·
pub struct ClassUnicode {
    set: IntervalSet<ClassUnicodeRange>,
}
Expand description

A set of characters represented by Unicode scalar values.

Fields§

§set: IntervalSet<ClassUnicodeRange>

Implementations§

source§

impl ClassUnicode

source

pub fn new<I>(ranges: I) -> ClassUnicode

Create a new class from a sequence of ranges.

The given ranges do not need to be in any specific order, and ranges may overlap. Ranges will automatically be sorted into a canonical non-overlapping order.

source

pub fn empty() -> ClassUnicode

Create a new class with no ranges.

An empty class matches nothing. That is, it is equivalent to Hir::fail.

source

pub fn push(&mut self, range: ClassUnicodeRange)

Add a new range to this set.

source

pub fn iter(&self) -> ClassUnicodeIter<'_>

Return an iterator over all ranges in this class.

The iterator yields ranges in ascending order.

source

pub fn ranges(&self) -> &[ClassUnicodeRange]

Return the underlying ranges as a slice.

source

pub fn case_fold_simple(&mut self)

Expand this character class such that it contains all case folded characters, according to Unicode’s “simple” mapping. For example, if this class consists of the range a-z, then applying case folding will result in the class containing both the ranges a-z and A-Z.

§Panics

This routine panics when the case mapping data necessary for this routine to complete is unavailable. This occurs when the unicode-case feature is not enabled.

Callers should prefer using try_case_fold_simple instead, which will return an error instead of panicking.

source

pub fn try_case_fold_simple(&mut self) -> Result<(), CaseFoldError>

Expand this character class such that it contains all case folded characters, according to Unicode’s “simple” mapping. For example, if this class consists of the range a-z, then applying case folding will result in the class containing both the ranges a-z and A-Z.

§Error

This routine returns an error when the case mapping data necessary for this routine to complete is unavailable. This occurs when the unicode-case feature is not enabled.

source

pub fn negate(&mut self)

Negate this character class.

For all c where c is a Unicode scalar value, if c was in this set, then it will not be in this set after negation.

source

pub fn union(&mut self, other: &ClassUnicode)

Union this character class with the given character class, in place.

source

pub fn intersect(&mut self, other: &ClassUnicode)

Intersect this character class with the given character class, in place.

source

pub fn difference(&mut self, other: &ClassUnicode)

Subtract the given character class from this character class, in place.

source

pub fn symmetric_difference(&mut self, other: &ClassUnicode)

Compute the symmetric difference of the given character classes, in place.

This computes the symmetric difference of two character classes. This removes all elements in this class that are also in the given class, but all adds all elements from the given class that aren’t in this class. That is, the class will contain all elements in either class, but will not contain any elements that are in both classes.

source

pub fn is_ascii(&self) -> bool

Returns true if and only if this character class will either match nothing or only ASCII bytes. Stated differently, this returns false if and only if this class contains a non-ASCII codepoint.

source

pub fn minimum_len(&self) -> Option<usize>

Returns the length, in bytes, of the smallest string matched by this character class.

Returns None when the class is empty.

source

pub fn maximum_len(&self) -> Option<usize>

Returns the length, in bytes, of the longest string matched by this character class.

Returns None when the class is empty.

source

pub fn literal(&self) -> Option<Vec<u8>>

If this class consists of exactly one codepoint, then return it as a literal byte string.

If this class is empty or contains more than one codepoint, then None is returned.

source

pub fn to_byte_class(&self) -> Option<ClassBytes>

If this class consists of only ASCII ranges, then return its corresponding and equivalent byte class.

Trait Implementations§

source§

impl Clone for ClassUnicode

source§

fn clone(&self) -> ClassUnicode

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 Debug for ClassUnicode

source§

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

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

impl PartialEq for ClassUnicode

source§

fn eq(&self, other: &ClassUnicode) -> 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 Eq for ClassUnicode

source§

impl StructuralPartialEq for ClassUnicode

Auto Trait Implementations§

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where 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 T
where 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 T
where 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 T
where 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 T
where 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.