File: tuple_context_manager.mli

package info (click to toggle)
galax 1.1-10
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 12,832 kB
  • sloc: ml: 96,603; xml: 26,602; ansic: 4,875; sh: 3,977; makefile: 1,667; java: 1,146
file content (32 lines) | stat: -rw-r--r-- 1,545 bytes parent folder | download | duplicates (5)
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
(***********************************************************************)
(*                                                                     *)
(*                                 GALAX                               *)
(*                              XQuery Engine                          *)
(*                                                                     *)
(*  Copyright 2001-2007.                                               *)
(*  Distributed only by permission.                                    *)
(*                                                                     *)
(***********************************************************************)

(* $Id: tuple_context_manager.mli,v 1.5 2007/02/01 22:08:45 simeon Exp $ *)

(* Module: Tuple_context_manager
     This module eals with variable context during runtime.  It also
     holds the build functions to access and store variables
 *)


type tuple_context_manager
type tuple_ref = tuple_context_manager * int

val build_context_manager : unit -> tuple_context_manager 
val instantiate_tuple_context_manager : tuple_context_manager -> unit

val string_of_tuple_ref   : tuple_ref -> string

val build_tuple_enter_context : tuple_context_manager -> (unit -> unit)
val build_tuple_exit_context  : tuple_context_manager -> (unit -> unit)
val build_tuple_store_code    : tuple_ref -> (Physical_value.xml_value -> unit)
val build_tuple_retrieve_code : tuple_ref -> (unit -> Physical_value.xml_value)

val get_new_tuple_slot                : tuple_context_manager -> tuple_ref