/usr/lib/ocaml/galax/execution_context.mli is in libgalax-ocaml-dev 1.1-12.
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 | (***********************************************************************)
(* *)
(* GALAX *)
(* XQuery Engine *)
(* *)
(* Copyright 2001-2007. *)
(* Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id: execution_context.mli,v 1.11 2007/05/16 15:32:09 mff Exp $ *)
(* Module: Execution_context
Description:
This module implements the XQuery algebra context.
*)
open Dm_atomic
open Physical_value
open Xquery_common_ast
(*******************************************************
PROGRAM's run-time, DYNAMIC context:
The context item +
The context tuple +
Current dateTime +
Snap semantic +
Update cache +
Local timezone +
Index tables for the declared keys +
Alive documents
Shared by all program components
*******************************************************)
type algebra_context
(******************)
(* Initialization *)
(******************)
(* Creates a new algebra context *)
val build_algebra_context : unit -> algebra_context
val copy_algebra_context : algebra_context -> algebra_context
val default_algebra_context : unit -> algebra_context
(*************************************)
(* Support for current date and time *)
(*************************************)
val get_current_datetime :
algebra_context -> atomicDateTime
val get_timezone :
algebra_context -> atomicDayTimeDuration
val set_timezone :
algebra_context -> atomicDayTimeDuration -> unit
(*****************************)
(* Support for declared keys *)
(*****************************)
(* Add a key and its value to algebra context *)
val add_key_to_algebra_context :
algebra_context -> (string * string) -> item list -> algebra_context
(* Lookup a key's value in algebra context *)
val key_from_algebra_context :
algebra_context -> (string * string) -> item list
val copy_algebra_context : algebra_context -> algebra_context
(********************************)
(* Support for update semantics *)
(********************************)
(* make this more opaque *)
val get_current_snap_semantic : algebra_context -> Xquery_common_ast.snap_modifier
val set_current_snap_semantic : algebra_context-> Xquery_common_ast.snap_modifier -> algebra_context
val get_ordering_structure : algebra_context -> Update_ordering.update_holder
val allocate_update_holder : algebra_context -> algebra_context
val enter_snap : algebra_context -> Xquery_common_ast.snap_modifier -> algebra_context
(* Alive documents *)
val alive_documents_from_algebra_context : algebra_context -> Fn_doc.alive_documents
|