/usr/lib/ocaml/galax/cs_util.mli is in libgalax-ocaml-dev 1.1-13build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 | (***********************************************************************)
(* *)
(* GALAX *)
(* XQuery Engine *)
(* *)
(* Copyright 2001-2007. *)
(* Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id: cs_util.mli,v 1.19 2007/05/23 22:12:59 simeon Exp $ *)
(* Module: Cs_util
Description:
This module contains some auxiliary evaluation functions, notably
for function calls, type declarations, axis, element and
attribute construction.
*)
open Physical_value
(*************)
(* Constants *)
(*************)
val empty_sequence : xml_value
val non_empty_sequence : xml_value
val empty_dom_sequence : dom_value
val non_empty_dom_sequence : dom_value
val empty_tuple : tuple_unit
val empty_tuple_opt : tuple_unit option (* Used for tuple returns *)
(* add *)
(* unsafe means that the variable is *not* materialized *)
val build_add_var_xml_value_with_ref :
Code_selection_context.code_selection_context -> Variable_context_manager.variable_ref ->
(xml_value -> unit )
val build_add_var_item_list :
Code_selection_context.code_selection_context -> Xquery_common_ast.cvname ->
(item list -> unit )
val build_add_var_xml_value_unsafe_allowed :
Code_selection_context.code_selection_context -> Xquery_common_ast.cvname ->
(xml_value -> unit)
val build_add_var_xml_value_safe :
Code_selection_context.code_selection_context -> Xquery_common_ast.cvname ->
(xml_value -> unit )
(*
val build_add_var_item_cursor_unsafe_allowed :
Code_selection_context.code_selection_context -> Xquery_common_ast.cvname ->
(item Cursor.cursor -> unit )
*)
val build_add_var_item_cursor_safe :
Code_selection_context.code_selection_context -> Xquery_common_ast.cvname ->
(item Cursor.cursor -> unit )
(* Retr *)
(*
val build_physical_value_retrieve :
Code_selection_context.code_selection_context -> Xquery_common_ast.cvname ->
(unit -> physical_value)
*)
val build_var_xml_value_retrieve :
Code_selection_context.code_selection_context -> Xquery_common_ast.cvname ->
(unit -> xml_value)
val build_var_item_list_retrieve :
Code_selection_context.code_selection_context -> Xquery_common_ast.cvname ->
(unit -> item list)
val inputs_are_fs_untyped_to_any : Algebra_type.algop_expr -> bool
(**************************************)
(* These should be changed or moved.. *)
(* Deal with type promotion for *)
(* atomicValue comparison *)
(**************************************)
val promote_atomicValue_to_highest : Namespace_context.nsenv -> Dm_atomic.atomicValue -> Dm_atomic.atomicValue
val promote_atomicValue_to_all : Namespace_context.nsenv -> Dm_atomic.atomicValue -> Dm_atomic.atomicValue list
val handle_fs_untyped_to_any_semantic :
Namespace_context.nsenv -> Dm_atomic.atomicValue ->
(* the possibly two types it could be *)
(Dm_atomic.atomicValue * Dm_atomic.atomicValue option )
val get_physical_opname : Algebra_type.algop_expr -> Xquery_physical_algebra_ast.physop_expr_name
val dxq_demangle_rqname : Namespace_names.rqname -> Namespace_names.rqname option
|