summaryrefslogtreecommitdiff
path: root/debugger/symbols.mli
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1997-02-19 16:09:23 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1997-02-19 16:09:23 +0000
commite3d0b8b5395a7d5bb1935c261b386081ee0adad1 (patch)
tree501f9d1a34a5245f77d1e36e130d0f5074df4703 /debugger/symbols.mli
parentd84af9f1193a977f97b5f3f1d6ac5b1422e5fc1b (diff)
downloadocaml-e3d0b8b5395a7d5bb1935c261b386081ee0adad1.tar.gz
Suite du portage (nombreuses modifs)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/symbols.mli')
-rw-r--r--debugger/symbols.mli23
1 files changed, 17 insertions, 6 deletions
diff --git a/debugger/symbols.mli b/debugger/symbols.mli
index d212a139ea..6f88f0733b 100644
--- a/debugger/symbols.mli
+++ b/debugger/symbols.mli
@@ -15,12 +15,23 @@
(* Modules used by the program. *)
val modules : string list ref
-(* Events used by the program *)
-val events : Instruct.debug_event list ref
-val events_by_pc : (int, Instruct.debug_event) Hashtbl.t
-val events_by_file : (string, Instruct.debug_event array) Hashtbl.t
-
+(* Read debugging info from executable file *)
val read_symbols : string -> unit
+
+(* Flip "event" bit on all instructions *)
+val set_all_events : unit -> unit
+
+(* Return event at given PC, or raise Not_found *)
val event_at_pc : int -> Instruct.debug_event
+
+(* List the events in `module'. *)
+val events_in_module : string -> Instruct.debug_event array
+
+(* First event after the given position. *)
+(* --- Raise `Not_found' if no such event. *)
val event_at_pos : string -> int -> Instruct.debug_event
-val set_all_events : unit -> unit
+
+(* Closest event from given position. *)
+(* --- Raise `Not_found' if no such event. *)
+val event_near_pos : string -> int -> Instruct.debug_event
+