Enum NfaTerm 

pub enum NfaTerm {
    Element {
        name: NameId,
        namespace: Option<NameId>,
        element_key: Option<ElementKey>,
        resolved_type: Option<TypeKey>,
    },
    Wildcard {
        namespace_constraint: NamespaceConstraint,
        process_contents: ProcessContents,
        not_qnames: Vec<(Option<NameId>, NameId)>,
    },
}

A term that can be matched in the NFA

Terms represent the actual content that must be matched during validation. Each term corresponds to either a specific element or a wildcard pattern.

Variants

Element

Match a specific element

Fields

name: NameId

Element local name (interned)

namespace: Option<NameId>

Element namespace (None = no namespace)

element_key: Option<ElementKey>

Resolved element key (for type lookup during validation)

resolved_type: Option<TypeKey>

Resolved type for local elements (without element key)

Wildcard

Match any element satisfying wildcard constraints

Fields

namespace_constraint: NamespaceConstraint

Namespace constraint for allowed namespaces

process_contents: ProcessContents

How to process matched content

not_qnames: Vec<(Option<NameId>, NameId)>

Pre-expanded concrete QName exclusions (XSD 1.1 notQName)

Implementations

impl NfaTerm

pub fn element( name: NameId, namespace: Option<NameId>, element_key: Option<ElementKey>, ) -> Self

Create an element term

pub fn element_with_type( name: NameId, namespace: Option<NameId>, element_key: Option<ElementKey>, resolved_type: Option<TypeKey>, ) -> Self

Create an element term with a resolved type

pub fn wildcard( namespace_constraint: NamespaceConstraint, process_contents: ProcessContents, ) -> Self

Create a wildcard term

pub fn wildcard_with_not_qnames( namespace_constraint: NamespaceConstraint, process_contents: ProcessContents, not_qnames: Vec<(Option<NameId>, NameId)>, ) -> Self

Create a wildcard term with QName exclusions (XSD 1.1)

pub fn is_element(&self) -> bool

Check if this term is an element

pub fn is_wildcard(&self) -> bool

Check if this term is a wildcard

Trait Implementations

impl Clone for NfaTerm

fn clone(&self) -> NfaTerm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NfaTerm

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

Formats the value using the given formatter.