diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1997-02-19 16:09:23 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1997-02-19 16:09:23 +0000 |
commit | e3d0b8b5395a7d5bb1935c261b386081ee0adad1 (patch) | |
tree | 501f9d1a34a5245f77d1e36e130d0f5074df4703 /debugger/symbols.mli | |
parent | d84af9f1193a977f97b5f3f1d6ac5b1422e5fc1b (diff) | |
download | ocaml-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.mli | 23 |
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 + |