Struct regex_syntax::hir::Repetition[][src]

pub struct Repetition {
    pub kind: RepetitionKind,
    pub greedy: bool,
    pub hir: Box<Hir>,
}

The high-level intermediate representation of a repetition operator.

A repetition operator permits the repetition of an arbitrary sub-expression.

Fields

kind: RepetitionKind

The kind of this repetition operator.

greedy: bool

Whether this repetition operator is greedy or not. A greedy operator will match as much as it can. A non-greedy operator will match as little as it can.

Typically, operators are greedy by default and are only non-greedy when a ? suffix is used, e.g., (expr)* is greedy while (expr)*? is not. However, this can be inverted via the U “ungreedy” flag.

hir: Box<Hir>

The expression being repeated.

Implementations

impl Repetition[src]

pub fn is_match_empty(&self) -> bool[src]

Returns true if and only if this repetition operator makes it possible to match the empty string.

Note that this is not defined inductively. For example, while a* will report true, ()+ will not, even though () matches the empty string and one or more occurrences of something that matches the empty string will always match the empty string. In order to get the inductive definition, see the corresponding method on Hir.

Trait Implementations

impl Clone for Repetition[src]

impl Debug for Repetition[src]

impl Eq for Repetition[src]

impl PartialEq<Repetition> for Repetition[src]

impl StructuralEq for Repetition[src]

impl StructuralPartialEq for Repetition[src]

Auto Trait Implementations

impl RefUnwindSafe for Repetition

impl Send for Repetition

impl Sync for Repetition

impl Unpin for Repetition

impl UnwindSafe for Repetition

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

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

The type returned in the event of a conversion error.