Enum Regex

pub enum Regex {
    EmptyString,
    EmptySet,
    Symbol(Rc<Symbol>),
    Repeat(Rc<Regex>),
    Complement(Rc<Regex>),
    Or(Rc<Regex>, Rc<Regex>),
    And(Rc<Regex>, Rc<Regex>),
    Concat(Rc<Regex>, Rc<Regex>),
}

A regular expression that can specify a path through a scope graph.

Can be created using parse_regex

Variants

EmptyString

e

EmptySet

0

Symbol(Rc<Symbol>)

A symbol like a

Repeat(Rc<Regex>)

x*

Complement(Rc<Regex>)

~x

Or(Rc<Regex>, Rc<Regex>)

x | y

And(Rc<Regex>, Rc<Regex>)

x & y

Concat(Rc<Regex>, Rc<Regex>)

x y

Implementations

impl Regex

pub fn compile(self) -> Automaton

Turn a Regex into an Automaton.

A Regex represents only the syntax of a regular expression, while a compiled regex, an Automaton is more like a state machine. It can directly be used to actually match on the regular expression.

impl Regex

pub fn is_nullable(&self) -> bool

Returns whether this regex is nullable (i.e., accepts the empty string e).

Examples of this include the e itself, any 0-ary repeat A*, e | A, etc.

assert!(Regex::EmptyString.is_nullable())

Trait Implementations

impl Clone for Regex

fn clone(&self) -> Regex

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Regex

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

Formats the value using the given formatter.

impl Display for Regex

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

Formats the value using the given formatter.

impl Hash for Regex

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Parse for Regex

fn parse(input: ParseStream<'_>) -> Result<Self>

impl PartialEq for Regex

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Regex

impl StructuralPartialEq for Regex