/usr/lib/ocaml/galax/finfo.mli is in libgalax-ocaml-dev 1.1-15+b2.
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 | (***********************************************************************)
(* *)
(* GALAX *)
(* XQuery Engine *)
(* *)
(* Copyright 2001-2007. *)
(* Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id: finfo.mli,v 1.9 2007/02/01 22:08:45 simeon Exp $ *)
(* Module: Finfo
Description:
This module is used to keep track of the original location of
expressions in files during query processing. This is essentially
used to provide accurate error messages.
*)
type finfo
(* A file location *)
val get_file_id : string -> int
val set_current_file : string -> unit
(* The file currently being parsed *)
val make_finfo : int -> int -> finfo
(* Creates a file location *)
val make_finfo_line_col : string -> int -> int -> finfo
(* Creates a file location (line, column) in a particular file *)
val make_finfo_line_col_id : int -> int -> int -> finfo
(* Creates a file location (line, column) in a particular file *)
val bogus : finfo
(* An empty file location *)
val finfo_to_string : finfo -> string
(* Prints a location within a string *)
val parsing_locinfo : unit -> finfo
(* Generates a file location during parsing *)
val lexing_locinfo : Lexing.lexbuf -> finfo
(* Generates a file location during lexing *)
val extract : string -> finfo -> string
(* Extracts the part of a string corresponding to a given file
location *)
|