File: code_fn.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 (30 lines) | stat: -rwxr-xr-x 1,354 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
(***********************************************************************)
(*                                                                     *)
(*                                 GALAX                               *)
(*                              XQuery Engine                          *)
(*                                                                     *)
(*  Copyright 2001-2007.                                               *)
(*  Distributed only by permission.                                    *)
(*                                                                     *)
(***********************************************************************)

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

(* Module: Code_fn
   Description:
     This module implements evaluation of F&O functions.
*)

open Execution_context

type bltin = Algebra_type.item_cursor_nary_to_item_cursor_code
type bltin_mat = Algebra_type.item_list_nary_to_item_list_code

val lookup_bltin_fctn :
    (Xquery_common_ast.cfname * int) -> Code_selection_context.code_selection_context -> bltin

val add_bltin_fctn : (Xquery_common_ast.cfname * int) * (Code_selection_context.code_selection_context -> bltin) -> unit 

(* exporting following functions for reuse in cs_code.ml -- Philippe *)
val _fn_boolean : Algebra_type.alg_compile_context -> bltin