Module Monitor_sig.Monitor.Point

module Point: sig .. end

A module that allows to create checkpoints and watch how many times the program go through these points.


type t 

The abstract type for a point.

val create : string -> t

create s creates a point called s.

val kill : t -> unit

kill p kills a point p. This means that this point won't be monitored anymore.

val observe : t -> unit

observe p puts a checkpoint p at the place where it is used.

High-levels observators

val observe_calls : string -> ('a -> 'b -> 'c) -> 'a -> 'b -> 'c

observe_calls s f create a point called s inside the function f that has one argument and isn't recursive.

val observe_calls2 : string -> ('a -> 'b -> 'c) -> 'a -> 'b -> 'c

observe_calls2 s f create a point called s inside the function f that has two arguments and isn't recursive.

val observe_calls_rec : string -> (('a -> 'b) -> 'a -> 'b) -> 'a -> 'b

observe_calls_rec s f create a point called s inside the function f that has one argument and is recursive.

val observe_calls_rec2 : string -> (('a -> 'b -> 'c) -> 'a -> 'b -> 'c) -> 'a -> 'b -> 'c

observe_calls_rec2 s f create a point called s inside the function f that has two arguments and is recursive.