Previous  Up  Next

Module Processing_context

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 = {
   mutable boundary_space_kind : Xquery_common_ast.strip_or_preserve;
   mutable construction_kind : Xquery_common_ast.strip_or_preserve;
   mutable ordering_kind : Xquery_common_ast.ordered_or_unordered;
   mutable default_order_kind : Xquery_common_ast.emptysortkind;
   mutable ns_preserve_kind : Xquery_common_ast.preserve_or_no_preserve;
   mutable ns_inherit_kind : Xquery_common_ast.inherit_or_no_inherit;
   mutable base_uri : AnyURI._uri option;
   mutable default_collation : string;
   mutable system : bool;
   mutable name_generators : Namespace_generate.name_gen Pervasives.ref list;
} 
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 = {
   mutable normalization : bool;
   mutable normalization_ident : bool;
   mutable typing : bool;
   mutable rewriting : bool;
   mutable factorization : bool;
   mutable optimization : bool;
   mutable code_selection : bool;
   mutable evaluation : bool;
   mutable xml_whitespace : bool;
   mutable xml_pis_and_comments : bool;
   mutable schema_location_hints : (string, string) Hashtbl.t;
   mutable module_location_hints : (string, string) Hashtbl.t;
   mutable interface_location_hints : (string, string) Hashtbl.t;
   mutable merge_module_locations : bool;
   mutable typing_kind : typing_kind;
   mutable sbdo_kind : sbdo_kind;
   mutable inline_functions : bool;
   mutable inline_variables : bool;
   mutable projection_kind : projection_kind;
   mutable treejoin_phys : treejoin_physical_kind;
   mutable treejoin_log : treejoin_logical_kind;
   mutable streaming : bool;
   mutable infer_independence : bool;
   mutable dxq_server : (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)
option;
   mutable dxq_optimization : bool;
   mutable dxq_host : string option;
   mutable dxq_port : int option;
   mutable dxq_source : dxq_execution_kind option;
   mutable dxq_topology : string option;
   mutable dxq_drop_msgs : bool;
   mutable zerod_host : string option;
   mutable zerod_port : int option;
   mutable serialization_kind : serialization_kind;
   monitor_context : Monitoring_context.monitor_context;
   mutable external_nsenv : Namespace_context.nsenv;
} 
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