sig
module type Shredded_Load_Store =
sig
type shredded_store
type namespaceid
type text
val get_store_from_docid :
Nodeid.docid -> Shredded_load_sigs.Shredded_Load_Store.shredded_store
val docid_of_nodeid : Nodeid.nodeid -> Nodeid.docid
val invalid_nodeid : Nodeid.nodeid
val close_store :
Shredded_load_sigs.Shredded_Load_Store.shredded_store -> unit
val preorder_of_nodeid : Nodeid.nodeid -> Nodeid.large_preorder
val get_name_of_docid : Nodeid.docid -> string * string
val namespaceid_seed :
Shredded_load_sigs.Shredded_Load_Store.namespaceid
val shredded_text_of_xml_attribute :
string -> Shredded_load_sigs.Shredded_Load_Store.text
val xml_attribute_of_shredded_text :
Shredded_load_sigs.Shredded_Load_Store.text -> string
val shredded_text_of_text_desc :
string -> Shredded_load_sigs.Shredded_Load_Store.text
val text_desc_of_shredded_text :
Shredded_load_sigs.Shredded_Load_Store.text -> string
val xs_untyped_of_text :
Shredded_load_sigs.Shredded_Load_Store.text -> Datatypes.xs_untyped
val text_of_xs_untyped :
Datatypes.xs_untyped -> Shredded_load_sigs.Shredded_Load_Store.text
val create_shredded_store :
Nodeid_context.nodeid_context ->
string ->
string ->
int -> Shredded_load_sigs.Shredded_Load_Store.shredded_store
val get_docid :
Shredded_load_sigs.Shredded_Load_Store.shredded_store -> Nodeid.docid
val store_document_node :
Shredded_load_sigs.Shredded_Load_Store.shredded_store ->
Nodeid.large_preorder -> Nodeid.nodeid
val store_element_node :
Shredded_load_sigs.Shredded_Load_Store.shredded_store ->
Nodeid.large_preorder ->
Nodeid.nodeid ->
Namespace_symbols.relem_symbol ->
(Namespace_symbols.rtype_symbol * Dm_types.nilled *
Dm_atomic.atomicValue list)
option ->
Shredded_load_sigs.Shredded_Load_Store.namespaceid -> Nodeid.nodeid
val store_attribute_node :
Shredded_load_sigs.Shredded_Load_Store.shredded_store ->
Nodeid.large_preorder ->
Nodeid.nodeid * Shredded_load_sigs.Shredded_Load_Store.namespaceid ->
Namespace_symbols.rattr_symbol ->
Datatypes.xs_untyped ->
(Dm_atomic.atomicValue list * Namespace_symbols.rtype_symbol) option ->
Nodeid.nodeid
val store_text_node :
Shredded_load_sigs.Shredded_Load_Store.shredded_store ->
Nodeid.large_preorder ->
Nodeid.nodeid -> Datatypes.xs_untyped -> Nodeid.nodeid
val store_processing_instruction :
Shredded_load_sigs.Shredded_Load_Store.shredded_store ->
Nodeid.large_preorder ->
Nodeid.nodeid ->
Namespace_names.ncname * Datatypes.xs_untyped -> Nodeid.nodeid
val store_comment :
Shredded_load_sigs.Shredded_Load_Store.shredded_store ->
Nodeid.large_preorder ->
Nodeid.nodeid -> Datatypes.xs_untyped -> Nodeid.nodeid
val store_children :
Shredded_load_sigs.Shredded_Load_Store.shredded_store ->
Nodeid.nodeid -> Nodeid.nodeid Cursor.cursor -> unit
val store_attributes :
Shredded_load_sigs.Shredded_Load_Store.shredded_store ->
Nodeid.nodeid -> Nodeid.nodeid Cursor.cursor -> unit
val store_nsenv :
Shredded_load_sigs.Shredded_Load_Store.shredded_store ->
Shredded_load_sigs.Shredded_Load_Store.namespaceid ->
Namespace_context.binding_table ->
Shredded_load_sigs.Shredded_Load_Store.namespaceid
val sync_store :
Shredded_load_sigs.Shredded_Load_Store.shredded_store -> unit
end
end