/usr/lib/ocaml/galax/compile_annotate.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 | (***********************************************************************)
(* *)
(* GALAX *)
(* XQuery Engine *)
(* *)
(* Copyright 2001-2007. *)
(* Distributed only by permission. *)
(* *)
(***********************************************************************)
(* Module: Compile_annotate
Description:
This module implements the walker to calculate annotations on the
algebra AST.
*)
(****************************)
(* Main annotation function *)
(****************************)
(* This function has a side-effect of filing out the
compile_annotations field for an operator. It should only be called
once. This condition is asserted inside the code. It will raise an
Internal_Error if this does not hold.
It calls itself on the entire sub-tree. This means it should only
be called once on the root of each sub-tree.
*)
val annotate_algebraic_expression : ('a, 'b) Xquery_algebra_ast.aalgop_expr -> unit
val reannotate_algebraic_expression : ('a, 'b) Xquery_algebra_ast.aalgop_expr -> unit
val annotate_algebraic_module : ('a, 'b, 'c) Xquery_algebra_ast.aalgop_xmodule -> unit
|