1 (***********************************************************************)
5 (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *)
6 (* Objective Caml port by John Malecki and Xavier Leroy *)
8 (* Copyright 1996 Institut National de Recherche en Informatique et *)
9 (* en Automatique. All rights reserved. This file is distributed *)
10 (* under the terms of the Q Public License version 1.0. *)
12 (***********************************************************************)
14 (* $Id: debugger_config.mli 9221 2009-04-02 09:06:33Z xclerc $ *)
16 (********************** Configuration file *****************************)
20 (*** Miscellaneous parameters. ***)
22 val debugger_prompt : string
23 val event_mark_before : string
24 val event_mark_after : string
26 val runtime_program : string
27 val history_size : int ref
28 val load_path_for : (string, string list) Hashtbl.t
30 (*** Time travel paramaters. ***)
32 val checkpoint_big_step : int64 ref
33 val checkpoint_small_step : int64 ref
34 val checkpoint_max_count : int ref
35 val make_checkpoints : bool ref