(***********************************************************************) (* *) (* 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 *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) (* $Id$ *) (* Modules used by the program. *) val modules : string list ref (* 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 (* Closest event from given position. *) (* --- Raise `Not_found' if no such event. *) val event_near_pos : string -> int -> Instruct.debug_event