blob: c1eab3c3232a4d860c742b1e694066f1366878ef (
plain)
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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
(***********************************************************************)
(* *)
(* 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$ *)
(* Low-level communication with the debuggee *)
type execution_summary =
Event
| Breakpoint
| Exited
| Trap_barrier
| Uncaught_exc
type report =
{ rep_type : execution_summary;
rep_event_count : int;
rep_stack_pointer : int;
rep_program_pointer : int }
type checkpoint_report =
Checkpoint_done of int
| Checkpoint_failed
(* Set the current connection with the debuggee *)
val set_current_connection : Primitives.io_channel -> unit
(* Put an event at given pc *)
val set_event : int -> unit
(* Put a breakpoint at given pc *)
val set_breakpoint : int -> unit
(* Remove breakpoint or event at given pc *)
val reset_instr : int -> unit
(* Create a new checkpoint (the current process forks). *)
val do_checkpoint : unit -> checkpoint_report
(* Step N events. *)
val do_go : int -> report
(* Tell given process to terminate *)
val stop : Primitives.io_channel -> unit
(* Tell given process to wait for its children *)
val wait_child : Primitives.io_channel -> unit
(* Move to initial frame (that of current function). *)
(* Return stack position and current pc *)
val initial_frame : unit -> int * int
val set_initial_frame : unit -> unit
(* Get the current frame position *)
(* Return stack position and current pc *)
val get_frame : unit -> int * int
(* Set the current frame *)
val set_frame : int -> unit
(* Move up one frame *)
(* Return stack position and current pc.
If there's no frame above, return (-1, 0). *)
val up_frame : int -> int * int
(* Set the trap barrier to given stack position. *)
val set_trap_barrier : int -> unit
(* Handling of remote values *)
exception Marshalling_error
module Remote_value :
sig
type t
val obj : t -> 'a
val is_block : t -> bool
val tag : t -> int
val size : t -> int
val field : t -> int -> t
val of_int : int -> t
val local : int -> t
val from_environment : int -> t
val global : int -> t
val accu : unit -> t
val closure_code : t -> int
end
|
