Enum Atom

pub enum Atom {
    NormalChar(char),
    CharClass(CharClass),
    MatchingList(Vec<BracketExpressionTerm>),
    NonmatchingList(Vec<BracketExpressionTerm>),
}

Represents a part of an ERE that matches a single character. For example, a single char a, a char class ., or a bracket expression [a-z].

Equality checks are semantic:

use ere_core::parse_tree::Atom;
assert_eq!(
    "[abcd]".parse::<Atom>(),
    "[a-d]".parse::<Atom>(),
);
assert_eq!(
    "[a-z]".parse::<Atom>(),
    "[[:lower:]]".parse::<Atom>(),
);

Variants

NormalChar(char)

Includes normal char and escaped chars

CharClass(CharClass)

MatchingList(Vec<BracketExpressionTerm>)

A matching bracket expression

NonmatchingList(Vec<BracketExpressionTerm>)

A nonmatching bracket expression

Implementations

impl Atom

pub fn check(&self, c: char) -> bool

pub fn to_ranges(&self) -> Vec<RangeInclusive<char>>

Produces the sorted, minimal set of ranges to represent the Atom.

Example:

use ere_core::parse_tree::Atom;
assert_eq!(
    "[a-z2-9A-X0-1YZ[:xdigit:]]".parse::<Atom>().unwrap().to_ranges(),
    vec!['0'..='9', 'A'..='Z', 'a'..='z'],
);

Trait Implementations

impl Clone for Atom

fn clone(&self) -> Atom

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Atom

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

Formats the value using the given formatter.

impl Display for Atom

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

Formats the value using the given formatter.

impl From<Atom> for SimplifiedTreeNode

fn from(value: Atom) -> Self

Converts to this type from the input type.

impl From<CharClass> for Atom

fn from(value: CharClass) -> Self

Converts to this type from the input type.

impl From<char> for Atom

fn from(value: char) -> Self

Converts to this type from the input type.

impl FromStr for Atom

type Err = ()

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl PartialEq for Atom

fn eq(&self, other: &Self) -> 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 Atom