1 files changed, 85 insertions, 0 deletions
diff --git a/ocaml-binary-annot/debugger/checkpoints.ml b/ocaml-binary-annot/debugger/checkpoints.ml
new file mode 100644
index 0000000000..ffcff35e36
--- /dev/null
+++ b/ocaml-binary-annot/debugger/checkpoints.ml
@@ -0,0 +1,85 @@
+(***********************************************************************)
+(*                                                                     *)
+(*                           Objective Caml                            *)
+(*                                                                     *)
+(*          Jerome Vouillon, projet Cristal, INRIA Rocquencourt        *)
+(*          Objective Caml port by John Malecki and Xavier Leroy       *)
+(*                                                                     *)
+(*  Copyright 1996 Institut National de Recherche en Informatique et   *)
+(*  en Automatique.  All rights reserved.  This file is distributed    *)
+(*  under the terms of the Q Public License version 1.0.               *)
+(*                                                                     *)
+(***********************************************************************)
+
+(* $Id$ *)
+
+(*************************** Checkpoints *******************************)
+
+open Int64ops
+open Debugcom
+open Primitives
+
+(*** A type for checkpoints. ***)
+
+type checkpoint_state =
+    C_stopped
+  | C_running of int64
+
+(* `c_valid' is true if and only if the corresponding
+ * process is connected to the debugger.
+ * `c_parent' is the checkpoint whose process is parent
+ * of the checkpoint one (`root' if no parent).
+ * c_pid = -2 for root pseudo-checkpoint.
+ * c_pid =  0 for ghost checkpoints.
+ * c_pid = -1 for kill checkpoints.
+ *)
+type checkpoint = {
+  mutable c_time : int64;
+  mutable c_pid : int;
+  mutable c_fd : io_channel;
+  mutable c_valid : bool;
+  mutable c_report : report option;
+  mutable c_state : checkpoint_state;
+  mutable c_parent : checkpoint;
+  mutable c_breakpoint_version : int;
+  mutable c_breakpoints : (int * int ref) list;
+  mutable c_trap_barrier : int
+  }
+
+(*** Pseudo-checkpoint `root'. ***)
+(* --- Parents of all checkpoints which have no parent. *)
+let rec root = {
+  c_time = _0;
+  c_pid = -2;
+  c_fd = std_io;
+  c_valid = false;
+  c_report = None;
+  c_state = C_stopped;
+  c_parent = root;
+  c_breakpoint_version = 0;
+  c_breakpoints = [];
+  c_trap_barrier = 0
+  }
+
+(*** Current state ***)
+let checkpoints =
+  ref ([] : checkpoint list)
+
+let current_checkpoint =
+  ref root
+
+let current_time () =
+  !current_checkpoint.c_time
+
+let current_report () =
+  !current_checkpoint.c_report
+
+let current_pc () =
+  match current_report () with
+    None | Some {rep_type = Exited | Uncaught_exc} -> None
+  | Some {rep_program_pointer = pc } -> Some pc
+
+let current_pc_sp () =
+  match current_report () with
+    None | Some {rep_type = Exited | Uncaught_exc} -> None
+  | Some {rep_program_pointer = pc; rep_stack_pointer = sp } -> Some (pc, sp)