sig
module type Shredded_Load_Context_Functor_Sig =
functor (Shredded_store : Shredded_load_sigs.Shredded_Load_Store) ->
sig
type shredded_load_context
val build_load_context :
Nodeid_context.nodeid_context ->
string ->
string ->
Shredded_renumber.Cell_As_Int64.Generator.handle ->
int ->
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context
val build_load_update_context :
Shredded_store.shredded_store ->
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context
val get_shredded_store :
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context ->
Shredded_store.shredded_store
val get_current_parent :
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context ->
Nodeid.nodeid
val new_preorder :
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context ->
Nodeid.large_preorder
val become_next_parent :
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context ->
Nodeid.nodeid -> unit
val no_longer_parent :
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context ->
unit
val get_nodeids :
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context ->
Nodeid.nodeid list
val get_nodeids_rev :
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context ->
Nodeid.nodeid list
val update_current_parent_with_child :
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context ->
Nodeid.nodeid -> unit
val get_current_children :
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context ->
Nodeid.nodeid list
val get_namespace_id :
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context ->
Shredded_store.namespaceid
val get_namespace_env :
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context ->
Namespace_context.nsenv
val add_namespace_env :
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context ->
Shredded_store.namespaceid -> Namespace_context.nsenv -> unit
val remove_namespace_env :
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context ->
unit
val push_base_uri :
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context ->
Dm_atomic.atomicAnyURI -> unit
val pop_base_uri :
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context ->
unit
val get_base_uri :
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context ->
Dm_atomic.atomicAnyURI option
val initial_namespaceid : Shredded_store.namespaceid
val update_attributes :
Shredded_load_context.Shredded_Load_Context_Functor_Sig.shredded_load_context ->
Nodeid.nodeid list -> unit
end
module Shredded_Load_Context_Functor : Shredded_Load_Context_Functor_Sig
end