blob: e1299e1b385e23d96c3650f5df332bf84c3eccd1 (
plain)
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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
|
(**************************************************************************)
(* *)
(* This file is part of Calendar. *)
(* *)
(* Copyright (C) 2003-2011 Julien Signoles *)
(* *)
(* you can redistribute it and/or modify it under the terms of the GNU *)
(* Lesser General Public License version 2.1 as published by the *)
(* Free Software Foundation, with a special linking exception (usual *)
(* for Objective Caml libraries). *)
(* *)
(* It is distributed in the hope that it will be useful, *)
(* but WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR *)
(* *)
(* See the GNU Lesser General Public Licence version 2.1 for more *)
(* details (enclosed in the file LGPL). *)
(* *)
(* The special linking exception is detailled in the enclosed file *)
(* LICENSE. *)
(**************************************************************************)
(*i $Id: test_fpcalendar.ml 259 2014-10-29 10:00:46Z signoles $ i*)
Printf.printf "Tests of FPcalendar:\n";;
open CalendarLib;;
open Fcalendar.Precise;;
include Gen_test;;
reset ();;
let eps = 0.000001;;
Time_Zone.change Time_Zone.UTC;;
(* Fcalendar *)
test_exn (lazy (make (-4712) 1 1 12 0 (-1.))) "-4713-12-31-23-59-59";;
test (make (-4712) 1 1 12 0 0. = make (-4712) 1 0 36 0 0.) "calendar coercion";;
test (from_jd 0. = make (-4712) 1 1 12 0 0.) "from_jd 0 = 4713 BC-1-1";;
test (from_mjd 0. = make 1858 11 17 0 0 0.) "from_mjd 0 = 1858-11-17";;
Time_Zone.change (Time_Zone.UTC_Plus 5);;
test (abs_float (to_jd (from_jd 12345.6789) -. 12345.6789) < eps)
"to_jd (from_jd x) = x";;
test (abs_float (to_mjd (from_mjd 12345.6789) -. 12345.6789) < eps)
"to_mjd (from_mjd x) = x";;
test (Period.to_date (Period.hour 60) = Date.Period.day 2)
"period(60h) = period(2d)";;
test (Period.compare (Period.day 2) (Period.hour 60) < 0) "Period.compare <";;
test (Period.compare (Period.day 3) (Period.hour 60) > 0) "Period.compare >";;
test (Period.compare
(Period.add (Period.day 2) (Period.hour 12))
(Period.hour 60) = 0) "Period.compare =";;
test
(add (make 1 2 3 4 5 6.) (Period.make 9 8 7 6 5 4.5) =
make 10 10 10 10 10 10.5)
"add 1-2-3-4-5-6 9-8-7-6-5-4.5";;
test
(add (make 3 1 1 0 0 0.7) (Period.make 0 0 0 (-25) 0 (-1.3)) =
make 2 12 30 22 59 59.4)
"add 3-1-1-0-0-0.7 0-0-0-(-25)-0-(-1.3)";;
test
(equal (rem (make 9 8 7 6 5 4.9) (Period.make 1 2 3 4 5 6.4))
(make 8 6 4 1 59 58.5))
"rem 9-8-7-6-5-4 1-2-3-4-5-6";;
test (Period.equal
(sub (make 0 0 7 6 5 4.) (make 0 0 3 54 5 6.))
(Period.make 0 0 1 23 59 58.))
"sub 0-0-7-6-5-4 0-0-3-54-5-6";;
test (Period.equal
(Period.opp (Period.make 0 0 2 3 0 0.))
(Period.make 0 0 (-2) (-3) 0 0.))
"period opp";;
(* Date *)
let d = make 2003 12 31 12 24 48.;;
test (next d `Month = make 2004 1 31 12 24 48.) "2003-12-31 + 1 mois";;
test (add d (Period.month 2) = make 2004 3 2 12 24 48.) "2003-12-31 + 2 mois";;
let d3 = make 2011 3 24 0 0 0.;;
test (prev d3 `Year = make 2010 3 24 0 0 0.) "2011-3-24 - 1 year";;
let d2 = make (-3000) 1 1 6 12 24.5;;
test (equal (rem d (sub d d2)) d2) "rem x (sub x y) = y";;
test (is_leap_day (make 2000 2 24 0 0 0.)) "2000-2-24 leap day";;
test (not (is_leap_day (make 2000 2 25 0 0 0.))) "2000-2-25 not leap day";;
test (is_gregorian (make 1600 1 1 0 0 0.4)) "1600-1-1 gregorian";;
test (not (is_gregorian (make 1400 1 1 0 0 0.1))) "1400-1-1 not gregorian";;
test (is_julian (make 1582 1 1 0 0 0.1)) "1582-1-1 julian";;
test (not (is_julian (make 1583 1 1 0 0 0.9832))) "1583-1-1 not julian";;
(* Time *)
test (let n = Unix.gmtime (Unix.time ()) in
hour (from_unixtm n) = n.Unix.tm_hour) "from_unixtm invariant UTC";;
test (let n = Unix.time () in
hour (from_unixfloat n) = (Unix.gmtime n).Unix.tm_hour)
"from_unixfloat invariant UTC";;
Time_Zone.change (Time_Zone.UTC_Plus 10);;
test (let n = Unix.gmtime (Unix.time ()) in
hour (from_unixtm n) = n.Unix.tm_hour) "from_unixtm invariant +10";;
test (let n = Unix.time () in
hour (from_unixfloat n) = (Unix.gmtime n).Unix.tm_hour)
"from_unixfloat invariant +10";;
test (equal (add (make 0 0 0 10 0 0.1) (Period.hour 30)) (make 0 0 1 16 0 0.1))
"add 0-0-0-20-0-0 30h";;
test (equal
(next (make 1999 12 31 23 59 59.43) `Second)
(make 2000 1 1 0 0 0.43))
"next 1999-31-12-23-59-59 `Second";;
let n = now ();;
test (equal (prev (next n `Minute) `Minute) n) "prev next = id";;
test (equal
(convert
(make 0 0 0 23 0 0.1234)
(Time_Zone.UTC_Plus 2)
(Time_Zone.UTC_Plus 4))
(make 0 0 1 1 0 0.1234)) "convert";;
test (hour (make 0 0 0 20 0 0.) = 20) "hour";;
test (minute (make 0 0 0 20 10 0.2) = 10) "minute";;
test (Utils.Float.equal (second (make 0 0 0 20 10 5.123)) 5.123) "second";;
test (is_pm (make 0 0 0 10 0 0.1)) "is_pm 10-0-0";;
test (is_pm (make 0 0 0 34 0 0.)) "is_pm 34-0-0";;
test (not (is_pm (make 0 0 0 (- 10) 0 0.))) "not (is_pm (- 10) 0 0)";;
test (is_am (make 0 0 0 20 0 0.)) "is_am 20-0-0";;
test (is_am (make 0 0 0 (- 34) 0 0.)) "is_am (- 34) 0 0";;
test (not (is_am (make 0 0 0 34 0 0.))) "not (is_pm 34 0 0)";;
Time_Zone.change Time_Zone.UTC;;
test (let n = Unix.gmtime (Unix.time ()) in
hour (from_unixtm n) = n.Unix.tm_hour) "from_unixtm invariant UTC2";;
test (let n = Unix.time () in
hour (from_unixfloat n) = (Unix.gmtime n).Unix.tm_hour)
"from_unixfloat invariant UTC2";;
test (to_unixfloat (make 1970 1 1 0 0 0.) = 0.) "to_unixfloat 1 Jan 1970";;
test (from_unixfloat 0. = make 1970 1 1 0 0 0.) "from_unixfloat 1 Jan 1970";;
test (floor (to_unixfloat (make 2004 11 13 19 17 10.)) = 1100373429.)
"to_unixfloat";;
test (equal (from_unixfloat 1100373429.) (make 2004 11 13 19 17 09.))
"from_unixfloat";;
test (equal
(from_unixtm (to_unixtm (make 2003 7 16 23 22 21.)))
(make 2003 7 16 23 22 21.))
"from_unixtm to_unixtm = id";;
test (Period.safe_to_time (Period.second 30.12) = Time.Period.second 30.12)
"Period.safe_to_time second";;
test (Period.safe_to_time (Period.day 6) = Time.Period.second 518400.)
"Period.safe_to_time day";;
test_exn (lazy (Period.to_time (Period.year 1))) "Period.to_time year";;
test (Period.ymds (Period.make 1 2 3 1 2 3.1) = (1, 2, 3, 3723.1))
"Period.ymds";;
test
(Period.ymds (Period.make (-1) (-2) (-3) (-1) (-2) (-3.)) = (-1,-2,-4,82677.))
"Period.ymds neg";;
let ok = nb_ok ();;
let bug = nb_bug ();;
Printf.printf "tests ok : %d; tests ko : %d\n" ok bug;;
flush stdout;;
|
