1 (**************************************************************************)
2 (* *)
3 (* OCaml *)
4 (* *)
5 (* Damien Doligez, projet Moscova, INRIA Rocquencourt *)
6 (* *)
7 (* Copyright 2002 Institut National de Recherche en Informatique et *)
8 (* en Automatique. *)
9 (* *)
10 (* All rights reserved. This file is distributed under the terms of *)
11 (* the GNU Lesser General Public License version 2.1, with the *)
12 (* special exception on linking described in the file LICENSE. *)
13 (* *)
14 (**************************************************************************)
15
16 type line_tracker;;
17 val open_tracker : string -> out_channel -> line_tracker
18 val close_tracker : line_tracker -> unit
19 val copy_chunk :
20 in_channel -> out_channel -> line_tracker -> Syntax.location -> bool -> unit
21 val output_mem_access : out_channel -> int -> unit
22 val output_memory_actions :
23 string -> out_channel -> Lexgen.memory_action list -> unit
24 val output_env :
25 in_channel -> out_channel -> line_tracker ->
26 (Lexgen.ident * Lexgen.ident_info) list -> unit
27 val output_args : out_channel -> string list -> unit
28 val output_refill_handler :
29 in_channel -> out_channel -> line_tracker -> Syntax.location option -> bool
30
31 val quiet_mode : bool ref;;
32