package dolmen

  1. Overview
  2. Docs

Source file stats.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69

(* This file is free software, part of dolmen. See file "LICENSE" for more information *)

(* Global things *)
(* ************************************************************************* *)

let enabled = ref false

let wrap_at_exit print t =
  at_exit (fun () ->
      if !enabled then Format.printf "%a@." print t
    );
  t

(* One-value statistics *)
(* ************************************************************************* *)

module Float = struct

  type t = {
    name : string;
    mutable value : float;
  }

  let print fmt t =
      Format.fprintf fmt
        "* %s: @[<hov>%f@]"
        t.name t.value

  let create name =
    wrap_at_exit print { name; value = nan; }

  let set t v =
    t.value <- v

end

(* Cumulative statistics *)
(* ************************************************************************* *)

module Floats = struct

  type t = {
    name : string;
    mutable count : int;
    mutable total_time : float;
  }

  let print fmt t =
      Format.fprintf fmt
        "* @[<v>%s@;\
          + count: %d@;\
          + total: %f@;\
          + mean : %f@]"
        t.name
        t.count
        t.total_time
        (t.total_time /. float t.count)

  let create name =
    wrap_at_exit print { name; count = 0; total_time = 0.; }

  let add t time =
    t.total_time <- t.total_time +. time;
    t.count <- t.count + 1;
    ()

end