Enum StringDomain 

pub enum StringDomain {
    Any,
    Regex {
        pattern: RegexPattern,
    },
}

String domain: accept-all or regex-matched.

Variants

Any

Any UTF-8 string is a member.

Regex

Members are the strings matching this regex.

Fields

pattern: RegexPattern

The compiled pattern.

Implementations

impl StringDomain

pub const fn any() -> Self

Construct an accept-all domain.

pub fn regex(source: impl Into<String>) -> Result<Self>

Construct a regex domain from a source pattern.

pub fn contains_native(&self, value: &str) -> bool

Membership test on the native payload.

pub const fn cardinality(&self) -> Cardinality

String domains are Unbounded regardless of shape.

pub fn boundaries_native(&self) -> Vec<String>

Conservative boundary set. Any returns [""]; Regex also returns [""] as a placeholder until regex-sampling lands — see module docs.

pub fn sample_native<R: Rng + ?Sized>(&self, _rng: &mut R) -> String

Conservative sample. Returns "" for Any. For Regex, sampling is unimplemented; see module docs.

Panics

Panics on StringDomain::Regex.

Trait Implementations

impl Clone for StringDomain

fn clone(&self) -> StringDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StringDomain

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for StringDomain

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for StringDomain

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 StringDomain

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for StringDomain

impl StructuralPartialEq for StringDomain