Enum ContentValidatorState 

pub enum ContentValidatorState {
    Nfa {
        nfa: NfaTable,
        active_states: ActiveStates,
        open_content: Option<OpenContentInfo>,
    },
    AllGroup {
        model: AllGroupModel,
        state: AllGroupState,
        suffix_locked: bool,
    },
    AllGroupExtension {
        model: AllGroupModel,
        state: AllGroupState,
        extension_nfa: NfaTable,
        phase: AllGroupExtPhase,
    },
    Simple,
    Empty,
}

Unified content model validation state

Wraps either an NFA-based or AllGroup-based content model into a single enum so that SchemaValidator can advance the content model without caring which underlying representation is in use.

Variants

Nfa

NFA-based content model (sequence, choice, etc.)

Fields

nfa: NfaTable

active_states: ActiveStates

open_content: Option<OpenContentInfo>

AllGroup

All-group content model (unordered particles)

Fields

model: AllGroupModel

state: AllGroupState

suffix_locked: bool

true once a suffix open-content element has been matched — further declared all-group particles are no longer accepted (§3.10.4 suffix semantics: declared content first, then wildcard).

AllGroupExtension

All-group base + NFA extension (XSD 1.1 complex type extension).

Fields

model: AllGroupModel

state: AllGroupState

extension_nfa: NfaTable

phase: AllGroupExtPhase

Simple

Simple content (text only, no child elements)

Empty

Empty content (no children or text)

Implementations

impl ContentValidatorState

pub fn from_matcher(matcher: ContentModelMatcher) -> Self

Create a content validator state from a compiled content model matcher

pub fn from_nfa(nfa: NfaTable) -> Self

Create a content validator state from an NFA table

Computes the initial epsilon closure from the start state.

pub fn from_all_group(model: AllGroupModel) -> Self

Create a content validator state from an all-group model

pub fn advance_element( &mut self, name: NameId, namespace: Option<NameId>, target_ns: Option<NameId>, xsd_version: XsdVersion, subst_groups: Option<&SubstitutionGroupMap>, ) -> Option<ElementMatchInfo>

Advance the content model with a child element

Returns None if the element was rejected. Returns Some(ElementMatchInfo) if accepted, containing the ElementKey and resolved_type from the matching NFA term (if any).

pub fn is_complete(&self) -> bool

Check whether the content model is in a complete (accepting) state

For NFA: any active state is the accept state. For AllGroup: all required particles have been satisfied.

pub fn would_accept( &self, name: NameId, namespace: Option<NameId>, target_ns: Option<NameId>, xsd_version: XsdVersion, subst_groups: Option<&SubstitutionGroupMap>, ) -> bool

Non-mutating lookahead: would the given element be accepted?

This does not change the state of the content model.

Trait Implementations

impl Clone for ContentValidatorState

fn clone(&self) -> ContentValidatorState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContentValidatorState

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

Formats the value using the given formatter.