Library
Module
Module type
Parameter
Class
Class type
Compute the next event, call the hooks functions on it, and return that event
val add_hook : string -> (Event.t -> unit) -> unit
Add a function that is called after each next call
val get_hook : string -> Event.t -> unit
Get a hook function (raise Not_found if it does not exist)
val loopforever : Event.t -> unit
loop forever
val show_trace : bool ref
control the printing of skipped events
val show_data : bool ref
control the behavior of print_event
val show_src : bool ref
control the behavior of print_event
val print_event : Event.t -> unit
Print an event
Returns the next event that satisfies a condition
Returns the next event s.t. the string arg is a substring of the event name
val vi : string -> Event.t -> int
Get the value of an int variable
val vf : string -> Event.t -> float
Get the value of a float variable
val vb : string -> Event.t -> bool
Get the value of a boolean variable
val print_src : Event.t -> unit
Print some source code information attached to an event
val print_call_stack : Event.t -> unit
print the call stack
add a breapoint on a node or a file. A breakpoint is a string of the form: "node" "node::line" "file" "file::line"
Goto to a specific explicit breakpoint (cf 'break' for breakpoints syntax)
val ckpt_rate : int ref
Checkpoint rate (that can be changed).
A predicate that control when check-point are done. By default, it is done periodically every !ckpt_rate event.
But of course one can change it (hence the ref)
List of checkpoints made when !check_ref is true. This list is used and modified by the commands:
- rev
- rev_cond
- back/backi
- goto
val goto_last_ckpt : int -> Event.t
run backwards until the next breakpoint or condition
val run : unit -> Event.t