Enum Facet 

pub enum Facet {
    Length(usize),
    MinLength(usize),
    MaxLength(usize),
    Pattern(Pattern),
    Enumeration(Vec<String>),
    MinInclusive(Bound),
    MaxInclusive(Bound),
    MinExclusive(Bound),
    MaxExclusive(Bound),
    TotalDigits(u32),
    FractionDigits(u32),
    ExplicitTimezone(TimezoneRequirement),
}

One facet constraint. Multiple facets of the same kind on one type are collapsed by the schema compiler into the most-restrictive single value (XSD §4.3 derivation rules).

Variants

Length(usize)

MinLength(usize)

MaxLength(usize)

Pattern(Pattern)

Compiled XSD-flavour pattern. See super::regex::Pattern.

Enumeration(Vec<String>)

MinInclusive(Bound)

WhiteSpace is special-cased on the type itself (see SimpleType::whitespace). Not a Facet variant.

MaxInclusive(Bound)

MinExclusive(Bound)

MaxExclusive(Bound)

TotalDigits(u32)

FractionDigits(u32)

ExplicitTimezone(TimezoneRequirement)

XSD 1.1 § 4.3.13 xs:explicitTimezone — restricts whether values of a date/time type must, must not, or may carry a timezone offset. Default is optional (no constraint); the compiler only emits this variant when the schema explicitly sets the facet.

Implementations

impl Facet

pub fn check(&self, value: &Value, lex: &str) -> Result<(), FacetViolation>

Check this facet against a parsed Value and the post-whitespace lexical form (some facets like length operate on the lexical length). Returns Ok(()) if the facet accepts the value.

Trait Implementations

impl Clone for Facet

fn clone(&self) -> Facet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Facet

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

Formats the value using the given formatter.