/usr/lib/ocaml/galax/sax_annot.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 | (***********************************************************************)
(* *)
(* GALAX *)
(* XQuery Engine *)
(* *)
(* Copyright 2001-2007. *)
(* Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id: sax_annot.mli,v 1.3 2007/02/01 22:08:54 simeon Exp $ *)
(* Module: Sax_annot
Description:
This *interface* contains annotations for typed SAX events.
Semantics:
Parsing yields a SAX event stream, namespace resolution yields a
resolved SAX event stream, and validation yields a typed SAX
event stream in which all event annotations are None.
A stream-annotation phase (e.g., XPath stream analysis, document-order
addition, etc.) takes a typed SAX event stream in which the
corresponding annotation components are None, and yields a stream
in which all the corresponding annotation components have been
set.
Setting an annotation component of an annotation destructively
modifies the annotation. Accessing an annotation component in an
annotation that is not set raises an error. *)
type sax_annot
(** The XPath stream analysis label is a boolean **)
type stream_label_annot = bool
(** Create an empty AST annotation.
@return New AST annotation.*)
val empty_sax_annot : unit -> sax_annot
(** Return all the annotation's components
@return Tuple of annotation's components *)
val annot_components : sax_annot -> stream_label_annot option
(** Copy an annotation
@param sax_annotation SAX annotation
@return copy of annotation *)
val copy_annot : sax_annot -> sax_annot
(** XPath label annotations *)
(** Set the stream-label annotation
@param sax_annotation to update
@param stream-label annotation to add
*)
val set_stream_label_annot : sax_annot -> stream_label_annot -> unit
(** Get the stream-label annotation
@param sax_annotation SAX annotation
@return stream-label annotation
*)
val get_stream_label_annot : sax_annot -> stream_label_annot
val set_annotation : sax_annot -> sax_annot -> unit
|