xsd-schema 0.1.0

XML Schema (XSD 1.0/1.1) validator with PSVI and a built-in XPath 2.0 engine
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89

//! NFA compilation for XSD content models
//!
//! This module compiles XSD content model particles (sequences, choices, all-groups)
//! into NFAs that can be used for efficient content validation.
//!
//! # Architecture
//!
//! The compiler uses Thompson's construction with composable fragments:
//! - Each element or wildcard becomes a single-state fragment
//! - Sequences concatenate fragments with epsilon transitions
//! - Choices add new start/end states with epsilon branches
//! - Repetition adds epsilon loops based on occurrence constraints
//!
//! # Example
//!
//! ```
//! use xsd_schema::compiler::{CompileContext, FragmentBuilder, NfaTerm, fragment_to_table};
//! use xsd_schema::{SchemaSet, NameId};
//!
//! // Build a simple NFA for a single element
//! let builder = FragmentBuilder::new();
//! let term = NfaTerm::element(NameId(1), None, None);
//! let fragment = builder.single_term(term, None);
//! let nfa = fragment_to_table(fragment);
//!
//! assert_eq!(nfa.state_count(), 2); // term state + exit state
//! ```

mod all_group;
mod compile;
mod error;
mod fragment;
mod nfa;
#[cfg(feature = "xsd11")]
mod open_content;
mod particle;
pub(crate) mod substitution;
mod upa;

pub use all_group::{
    term_matches, term_matches_with_substitution, validate_all_group_constraints, AllGroupModel,
    AllGroupState, AllParticle, OpenContentMode, OpenContentWildcard, TermMatchResult,
};
pub use compile::{
    compile_content_model_for_upa, compile_content_model_matcher, compile_model_group,
    compile_particle, CompileContext,
};
pub(crate) use compile::{
    is_top_level_all_group, resolve_top_level_all_group_ref, validate_outer_all_group_occurs,
};
pub use error::{NfaCompileError, NfaCompileResult};
pub use fragment::{fragment_to_table, FragmentBuilder, NfaFragment};
pub use nfa::{
    advance_states, advance_with_priority, epsilon_closure, term_matches as nfa_term_matches,
    ActiveConfig, ActiveStates, CounterDef, CounterId, MatchInfo, NfaState, NfaTable, NfaTerm,
    NfaTransition, StateId, TransitionKind,
};
pub use particle::{apply_occurs, MaxOccurs};
pub use substitution::{
    build_substitution_group_map, build_substitution_group_map_with_abstract,
    validate_all_substitution_groups, SubstitutionGroupMap,
};
pub use upa::{check_all_group_upa, check_upa};

use crate::types::complex::{OpenContentMode as TypesOpenContentMode, WildcardRef};

/// Strategy for matching compiled content models.
#[derive(Debug, Clone)]
pub enum ContentModelMatcher {
    /// Standard NFA-based content model.
    Nfa(NfaTable),
    /// All-group content model.
    AllGroup(AllGroupModel),
    /// NFA content model with open content wildcard.
    WithOpenContent {
        nfa: NfaTable,
        mode: TypesOpenContentMode,
        wildcard: Option<WildcardRef>,
    },
    /// All-group base + NFA extension (XSD 1.1 complex type extension).
    #[cfg(feature = "xsd11")]
    AllGroupExtension {
        base_model: AllGroupModel,
        extension_nfa: NfaTable,
    },
}

#[cfg(feature = "xsd11")]
pub use open_content::validate_all_default_open_content;