module Processing_context: sig
.. end
type
sbdo_kind =
| |
SBDO_Remove |
| |
SBDO_Preserve |
| |
SBDO_AdHoc |
| |
SBDO_Tidy |
| |
SBDO_DupTidy |
| |
SBDO_Sloppy |
type
typing_kind =
| |
Typing_None |
| |
Typing_Weak |
| |
Typing_Strong |
type
serialization_kind =
| |
Serialize_As_Standard |
| |
Serialize_As_Well_Formed |
| |
Serialize_As_XQuery |
| |
Serialize_As_Canonical |
type
projection_kind =
| |
Projection_None |
| |
Projection_Standard |
| |
Projection_Optimized |
type
treejoin_logical_kind =
| |
Default |
| |
TreeJoin |
| |
Twig |
type
treejoin_physical_kind =
| |
NestedLoop |
| |
SCJoin |
| |
IndexSortJoin |
| |
TwigJoin |
| |
Streaming |
type
dxq_execution_kind =
| |
LocalSimulation of string |
| |
RemoteExecution of string |
type
module_processing_context = {
}
val default_module_processing_context : unit -> module_processing_context
val set_boundary_space_kind : module_processing_context ->
Xquery_common_ast.strip_or_preserve -> unit
val set_construction_kind : module_processing_context ->
Xquery_common_ast.strip_or_preserve -> unit
val set_ordering_kind : module_processing_context ->
Xquery_common_ast.ordered_or_unordered -> unit
val set_default_order_kind : module_processing_context ->
Xquery_common_ast.emptysortkind -> unit
val set_ns_preserve_kind : module_processing_context ->
Xquery_common_ast.preserve_or_no_preserve -> unit
val set_ns_inherit_kind : module_processing_context ->
Xquery_common_ast.inherit_or_no_inherit -> unit
val get_base_uri : module_processing_context -> AnyURI._uri option
val get_default_collation : module_processing_context -> string
val set_base_uri : module_processing_context -> AnyURI._uri option -> unit
val set_default_collation : module_processing_context -> string -> unit
val get_name_generator : module_processing_context ->
Namespace_names.prefix ->
Namespace_names.uri -> string -> Namespace_generate.name_gen Pervasives.ref
type
processing_context = {
}
val default_processing_context : unit -> processing_context
val get_external_nsenv : processing_context -> Namespace_context.nsenv
val set_normalization_phase : processing_context -> bool -> unit
val set_normalization_ident : processing_context -> bool -> unit
val set_typing_phase : processing_context -> bool -> unit
val set_rewriting_phase : processing_context -> bool -> unit
val set_factorization_phase : processing_context -> bool -> unit
val set_optimization_phase : processing_context -> bool -> unit
val set_code_selection_phase : processing_context -> bool -> unit
val set_evaluation_phase : processing_context -> bool -> unit
val set_xml_whitespace : processing_context -> bool -> unit
val set_xml_pis_and_comments : processing_context -> bool -> unit
val set_inline_functions : processing_context -> bool -> unit
val set_inline_variables : processing_context -> bool -> unit
val set_sbdo_kind : processing_context -> sbdo_kind -> unit
val set_typing_kind : processing_context ->
typing_kind -> unit
val is_weak_typing : processing_context -> bool
val set_serialization_kind : processing_context ->
serialization_kind -> unit
val set_projection_kind : processing_context ->
projection_kind -> unit
val set_treejoin_log : processing_context ->
treejoin_logical_kind -> unit
val set_treejoin_phys : processing_context ->
treejoin_physical_kind -> unit
val set_streaming : processing_context -> bool -> unit
val set_infer_independence : processing_context -> bool -> unit
val set_dxq_server : processing_context ->
Galax_server_util.evaluate_closure_sig *
Galax_server_util.evaluate_remote_query_sig *
Galax_server_util.async_eval_ext_sig *
Galax_server_util.interpret_hostport_sig -> unit
val set_dxq : processing_context -> bool -> unit
val set_dxq_host_port : processing_context -> string option -> int option -> unit
val set_dxq_source : processing_context ->
dxq_execution_kind -> unit
val set_dxq_topology : processing_context -> string -> unit
val set_dxq_drop_msgs : processing_context -> bool -> unit
val set_zerod_host_port : processing_context -> string option -> int option -> unit
val set_namespace_env : processing_context -> Namespace_context.nsenv -> unit
val add_schema_location_hints : processing_context -> (string * string) list -> unit
val add_module_location_hints : processing_context -> (string * string) list -> unit
val add_interface_location_hints : processing_context -> (string * string) list -> unit
val get_schema_location_hints : processing_context -> (string, string) Hashtbl.t
val get_module_location_hints : processing_context -> (string, string) Hashtbl.t
val get_interface_location_hints : processing_context -> (string, string) Hashtbl.t
val print_location_hints : (string, string) Hashtbl.t -> unit
val resolve_schema_location_hint : processing_context ->
string option -> string -> string list
val resolve_module_location_hint : processing_context ->
string option -> string -> string list
val resolve_interface_location_hint : processing_context ->
string option -> string -> string list
val check_config : processing_context -> unit
val copy_processing_context : processing_context ->
processing_context