Enum regex_syntax::ast::Ast

pub enum Ast {
    Empty(Box<Span>),
    Flags(Box<SetFlags>),
    Literal(Box<Literal>),
    Dot(Box<Span>),
    Assertion(Box<Assertion>),
    ClassUnicode(Box<ClassUnicode>),
    ClassPerl(Box<ClassPerl>),
    ClassBracketed(Box<ClassBracketed>),
    Repetition(Box<Repetition>),
    Group(Box<Group>),
    Alternation(Box<Alternation>),
    Concat(Box<Concat>),
}

An abstract syntax tree for a single regular expression.

An Ast’s fmt::Display implementation uses constant stack space and heap space proportional to the size of the Ast.

This type defines its own destructor that uses constant stack space and heap space proportional to the size of the Ast.

Variants

Empty(Box<Span>)

An empty regex that matches everything.

Flags(Box<SetFlags>)

A set of flags, e.g., (?is).

Literal(Box<Literal>)

A single character literal, which includes escape sequences.

Dot(Box<Span>)

The “any character” class.

Assertion(Box<Assertion>)

A single zero-width assertion.

ClassUnicode(Box<ClassUnicode>)

A single Unicode character class, e.g., \pL or \p{Greek}.

ClassPerl(Box<ClassPerl>)

A single perl character class, e.g., \d or \W.

ClassBracketed(Box<ClassBracketed>)

A single bracketed character class set, which may contain zero or more character ranges and/or zero or more nested classes. e.g., [a-zA-Z\pL].

Repetition(Box<Repetition>)

A repetition operator applied to an arbitrary regular expression.

Group(Box<Group>)

A grouped regular expression.

Alternation(Box<Alternation>)

An alternation of regular expressions.

Concat(Box<Concat>)

A concatenation of regular expressions.

Implementations

impl Ast

pub fn empty(span: Span) -> Ast

Create an “empty” AST item.

pub fn flags(e: SetFlags) -> Ast

Create a “flags” AST item.

pub fn literal(e: Literal) -> Ast

Create a “literal” AST item.

pub fn dot(span: Span) -> Ast

Create a “dot” AST item.

pub fn assertion(e: Assertion) -> Ast

Create a “assertion” AST item.

pub fn class_unicode(e: ClassUnicode) -> Ast

Create a “Unicode class” AST item.

pub fn class_perl(e: ClassPerl) -> Ast

Create a “Perl class” AST item.

pub fn class_bracketed(e: ClassBracketed) -> Ast

Create a “bracketed class” AST item.

pub fn repetition(e: Repetition) -> Ast

Create a “repetition” AST item.

pub fn group(e: Group) -> Ast

Create a “group” AST item.

pub fn alternation(e: Alternation) -> Ast

Create a “alternation” AST item.

pub fn concat(e: Concat) -> Ast

Create a “concat” AST item.

pub fn span(&self) -> &Span

Return the span of this abstract syntax tree.

pub fn is_empty(&self) -> bool

Return true if and only if this Ast is empty.

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for Ast

fn arbitrary(u: &mut Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the given unstructured data.

fn arbitrary_take_rest(u: Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the entirety of the given unstructured data.

fn size_hint(depth: usize) -> (usize, Option<usize>)

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself.

impl Clone for Ast

fn clone(&self) -> Ast

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Ast

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

Formats the value using the given formatter.

impl Display for Ast

Print a display representation of this Ast.

This does not preserve any of the original whitespace formatting that may have originally been present in the concrete syntax from which this Ast was generated.

This implementation uses constant stack space and heap space proportional to the size of the Ast.

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

Formats the value using the given formatter.

impl Drop for Ast

A custom Drop impl is used for Ast such that it uses constant stack space but heap space proportional to the depth of the Ast.

fn drop(&mut self)

Executes the destructor for this type.

impl PartialEq for Ast

fn eq(&self, other: &Ast) -> bool

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

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.

impl Eq for Ast

impl StructuralPartialEq for Ast