Module Schema_validation_context

module Schema_validation_context: sig .. end

type validation_context 

val build_validation_context : Namespace_context.nsenv ->
       Xquery_type_core_ast.cxschema ->
       Streaming_types.resolved_xml_stream ->
       validation_context

val push_nsenv : validation_context ->
       Namespace_context.nsenv -> unit

val get_namespace_env : validation_context -> Namespace_context.nsenv

val get_current_content_model : validation_context -> Xquery_type_core_ast.cxtype

val get_cxschema : validation_context -> Xquery_type_core_ast.cxschema

val has_mixed_content : validation_context -> bool

val has_been_nilled : validation_context -> bool

val next_validation_event : validation_context ->
       Streaming_types.resolved_sax_event

val push_document_event : validation_context -> unit

val pop_document_event : validation_context -> unit

val push_complex_element_event : validation_context ->
       Xquery_type_core_ast.cxtype ->
       Xquery_common_ast.mixed -> bool -> Xquery_type_core_ast.cxtype -> unit

val push_simple_element_event : validation_context ->
       Xquery_type_core_ast.cxtype ->
       Streaming_types.resolved_sax_event list -> unit

val pop_element_event : validation_context -> unit