ocaml-calendar/test_pcalendar.ml

   1 (*i $Id: test_pcalendar.ml,v 1.2 2008/02/08 10:36:14 signoles Exp $ i*)
   2
   3 Printf.printf "Tests of Precise Calendar:\n";;
   4
   5 open CalendarLib;;
   6 open Calendar.Precise;;
   7 include Gen_test;;
   8 reset ();;
   9
  10 let eps = 0.000001;;
  11
  12 Time_Zone.change Time_Zone.UTC;;
  13
  14 (* Calendar *)
  15
  16 test_exn (lazy (make (-4712) 1 1 12 0 (-1))) "-4713-12-31-23-59-59";;
  17 test (make (-4712) 1 1 12 0 0 = make (-4712) 1 0 36 0 0) "calendar coercion";;
  18 test (from_jd 0. = make (-4712) 1 1 12 0 0) "from_jd 0 = 4713 BC-1-1";;
  19 test (from_mjd 0. = make 1858 11 17 0 0 0) "from_mjd 0 = 1858-11-17";;
  20
  21 Time_Zone.change (Time_Zone.UTC_Plus 5);;
  22
  23 test (abs_float (to_jd (from_jd 12345.6789) -. 12345.6789) < eps)
  24   "to_jd (from_jd x) = x";;
  25 test (abs_float (to_mjd (from_mjd 12345.6789) -. 12345.6789) < eps)
  26   "to_mjd (from_mjd x) = x";;
  27 test (Period.to_date (Period.hour 60) = Date.Period.day 2)
  28   "period(60h) = period(2d)";;
  29 test (Period.compare (Period.day 2) (Period.hour 60) < 0) "Period.compare <";;
  30 test (Period.compare (Period.day 3) (Period.hour 60) > 0) "Period.compare >";;
  31 test (Period.compare
  32         (Period.add (Period.day 2) (Period.hour 12))
  33         (Period.hour 60) = 0) "Period.compare =";;
  34
  35 test
  36   (add (make 1 2 3 4 5 6) (Period.make 9 8 7 6 5 4) = make 10 10 10 10 10 10)
  37   "add 1-2-3-4-5-6 9-8-7-6-5-4";;
  38 test
  39   (add (make 3 1 1 0 0 0) (Period.make 0 0 0 (-25) 0 (-1)) =
  40   make 2 12 30 22 59 59)
  41   "add 3-1-1-0-0-0 0-0-0-(-25)-0-(-1)";;
  42
  43 test
  44   (equal (rem (make 9 8 7 6 5 4) (Period.make 1 2 3 4 5 6))
  45      (make 8 6 4 1 59 58))
  46   "rem 9-8-7-6-5-4 1-2-3-4-5-6";;
  47 test (sub (make 0 0 7 6 5 4) (make 0 0 3 54 5 6) = Period.make 0 0 1 23 59 58)
  48   "sub 0-0-7-6-5-4 0-0-3-54-5-6";;
  49
  50 test (Period.equal
  51         (Period.opp (Period.make 0 0 2 3 0 0))
  52         (Period.make 0 0 (-2) (-3) 0 0))
  53   "period opp";;
  54
  55 (* Date *)
  56
  57 let d = make 2003 12 31 12 24 48;;
  58 test (next d `Month = make 2004 1 31 12 24 48) "2003-12-31 + 1 mois";;
  59 test (add d (Period.month 2) = make 2004 3 2 12 24 48) "2003-12-31 + 2 mois";;
  60 let d2 = make (-3000) 1 1 6 12 24;;
  61 test (equal (rem d (sub d d2)) d2) "rem x (sub x y) = y";;
  62 test (is_leap_day (make 2000 2 24 0 0 0)) "2000-2-24 leap day";;
  63 test (not (is_leap_day (make 2000 2 25 0 0 0))) "2000-2-25 not leap day";;
  64 test (is_gregorian (make 1600 1 1 0 0 0)) "1600-1-1 gregorian";;
  65 test (not (is_gregorian (make 1400 1 1 0 0 0))) "1400-1-1 not gregorian";;
  66 test (is_julian (make 1582 1 1 0 0 0)) "1582-1-1 julian";;
  67 test (not (is_julian (make 1583 1 1 0 0 0))) "1583-1-1 not julian";;
  68
  69 (* Time *)
  70
  71 test (let n = Unix.gmtime (Unix.time ()) in
  72       hour (from_unixtm n) = n.Unix.tm_hour) "from_unixtm invariant UTC";;
  73 test (let n = Unix.time () in
  74       hour (from_unixfloat n) = (Unix.gmtime n).Unix.tm_hour)
  75   "from_unixfloat invariant UTC";;
  76
  77 Time_Zone.change (Time_Zone.UTC_Plus 10);;
  78
  79 test (let n = Unix.gmtime (Unix.time ()) in
  80       hour (from_unixtm n) = n.Unix.tm_hour) "from_unixtm invariant +10";;
  81 test (let n = Unix.time () in
  82       hour (from_unixfloat n) = (Unix.gmtime n).Unix.tm_hour)
  83   "from_unixfloat invariant +10";;
  84
  85 test (equal (add (make 0 0 0 10 0 0) (Period.hour 30)) (make 0 0 1 16 0 0))
  86   "add 0-0-0-20-0-0 30h";;
  87 test (equal (next (make 1999 12 31 23 59 59) `Second) (make 2000 1 1 0 0 0))
  88   "next 1999-31-12-23-59-59 `Second";;
  89 let n = now ();;
  90 test (equal (prev (next n `Minute) `Minute) n) "prev next = id";;
  91
  92 test (equal
  93         (convert
  94            (make 0 0 0 23 0 0)
  95            (Time_Zone.UTC_Plus 2)
  96            (Time_Zone.UTC_Plus 4))
  97         (make 0 0 1 1 0 0)) "convert";;
  98 test (hour (make 0 0 0 20 0 0) = 20) "hour";;
  99 test (minute (make 0 0 0 20 10 0) = 10) "minute";;
 100 test (second (make 0 0 0 20 10 5) = 5) "second";;
 101 test (is_pm (make 0 0 0 10 0 0)) "is_pm 10-0-0";;
 102 test (is_pm (make 0 0 0 34 0 0)) "is_pm 34-0-0";;
 103 test (not (is_pm (make 0 0 0 (- 10) 0 0))) "not (is_pm (- 10) 0 0)";;
 104 test (is_am (make 0 0 0 20 0 0)) "is_am 20-0-0";;
 105 test (is_am (make 0 0 0 (- 34) 0 0)) "is_am (- 34) 0 0";;
 106 test (not (is_am (make 0 0 0 34 0 0))) "not (is_pm 34 0 0)";;
 107
 108 Time_Zone.change Time_Zone.UTC;;
 109
 110 test (let n = Unix.gmtime (Unix.time ()) in
 111       hour (from_unixtm n) = n.Unix.tm_hour) "from_unixtm invariant UTC2";;
 112 test (let n = Unix.time () in
 113       hour (from_unixfloat n) = (Unix.gmtime n).Unix.tm_hour)
 114   "from_unixfloat invariant UTC2";;
 115
 116 test (to_unixfloat (make 1970 1 1 0 0 0) = 0.) "to_unixfloat 1 Jan 1970";;
 117 test (from_unixfloat 0. = make 1970 1 1 0 0 0) "from_unixfloat 1 Jan 1970";;
 118 test (Utils.Float.equal (to_unixfloat (make 2004 11 13 19 17 9)) 1100373429.)
 119   "to_unixfloat";;
 120 test (equal (from_unixfloat 1100373429.) (make 2004 11 13 19 17 9))
 121   "from_unixfloat";;
 122 test (from_unixtm (to_unixtm (make 2003 7 16 23 22 21)) =
 123         make 2003 7 16 23 22 21)
 124   "from_unixtm to_unixtm = id";;
 125
 126 test (Period.to_time (Period.second 30) = Time.Period.second 30)
 127   "Period.to_time second";;
 128 test (Period.to_time (Period.day 6) = Time.Period.second 518400)
 129   "Period.to_time day";;
 130 test_exn (lazy (Period.to_time (Period.year 1))) "Period.to_time year";;
 131 test (Period.ymds (Period.make 1 2 3 1 2 3) = (1, 2, 3, 3723)) "Period.ymds";;
 132 test
 133   (Period.ymds (Period.make (-1) (-2) (-3) (-1) (-2) (-3)) = (-1,-2,-4,82677))
 134   "Period.ymds neg";;
 135
 136 let ok = nb_ok ();;
 137 let bug = nb_bug ();;
 138 Printf.printf "tests ok : %d; tests ko : %d\n" ok bug;;
 139 flush stdout;;