Struct Effective

pub struct Effective<'a> {
    pub enumeration: Option<&'a [String]>,
    pub patterns: Vec<&'a [Pattern]>,
    pub length: Option<usize>,
    pub min_length: Option<usize>,
    pub max_length: Option<usize>,
    pub min_inclusive: Option<f64>,
    pub max_inclusive: Option<f64>,
    pub min_exclusive: Option<f64>,
    pub max_exclusive: Option<f64>,
}

The facets in force for a type, gathered along its restriction chain.

A derived type’s own enumeration is the operative one, since XSD requires it to be a subset of its base’s. Patterns are grouped by link, because XSD reads several patterns in one restriction as alternatives while patterns in different restrictions all have to hold — six types in the published catalog declare up to eight alternatives at once, and treating those as a conjunction would reject every value they were written to accept. For a length or a bound, the tightest wins.

Fields

enumeration: Option<&'a [String]>

patterns: Vec<&'a [Pattern]>

One entry per link in the chain that declares patterns. A value has to satisfy every entry, and satisfies an entry by matching any pattern in it.

length: Option<usize>

min_length: Option<usize>

max_length: Option<usize>

min_inclusive: Option<f64>

max_inclusive: Option<f64>

min_exclusive: Option<f64>

max_exclusive: Option<f64>

Implementations

impl Effective<'_>

pub fn is_empty(&self) -> bool

Whether anything here can be violated.

Trait Implementations

impl<'a> Debug for Effective<'a>

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

Formats the value using the given formatter.

impl<'a> Default for Effective<'a>

fn default() -> Effective<'a>

Returns the “default value” for a type.