Struct StringExpr 

pub struct StringExpr {
    pub atoms: SmallVec<[StringAtom; 4]>,
}

A string expression (concatenation of atoms)

Fields

atoms: SmallVec<[StringAtom; 4]>

Atoms in left-to-right order

Implementations

impl StringExpr

pub fn empty() -> Self

Empty string

pub fn var(id: u32) -> Self

Single variable

pub fn literal(s: &str) -> Self

String literal

pub fn concat(self, other: Self) -> Self

Concatenate two expressions

pub fn as_const(&self) -> Option<&str>

Check if this is a constant string

pub fn as_var(&self) -> Option<u32>

Check if this is a single variable

pub fn is_empty(&self) -> bool

Check if empty

pub fn min_length(&self) -> usize

Minimum possible length

pub fn first_char(&self) -> Option<char>

First character (if constant prefix)

Trait Implementations

impl Clone for StringExpr

fn clone(&self) -> StringExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StringExpr

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

Formats the value using the given formatter.

impl Hash for StringExpr

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 PartialEq for StringExpr

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

impl StructuralPartialEq for StringExpr