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
|
(* C-Style strftime *)
open Pdfutil
type t =
{_tm_sec : int;
_tm_min : int;
_tm_hour : int;
_tm_mday : int;
_tm_mon : int;
_tm_year : int;
_tm_wday : int;
_tm_yday : int;
_tm_isdst : bool}
let dummy =
{_tm_sec = 0;
_tm_min = 0;
_tm_hour = 0;
_tm_mday = 1;
_tm_mon = 0;
_tm_year = 2000;
_tm_wday = 0;
_tm_yday = 0;
_tm_isdst = false}
let strf_A t =
match t._tm_wday with
| 0 -> "Sunday" | 1 -> "Monday" | 2 -> "Tuesday"
| 3 -> "Wednesday" | 4 -> "Thursday" | 5 -> "Friday"
| 6 -> "Saturday"
| _ -> "strf_AFail"
let strf_a t =
String.sub (strf_A t) 0 3
let strf_B t =
match t._tm_mon with
| 0 -> "January" | 1 -> "February" | 2 -> "March" | 3 -> "April"
| 4 -> "May" | 5 -> "June" | 6 -> "July" | 7 -> "August"
| 8 -> "September" | 9 -> "October" | 10 -> "November"
| 11 -> "December" | _ -> "strf_Bfail"
let strf_b t =
String.sub (strf_B t) 0 3
let strf_d t =
let s = string_of_int t._tm_mday in
if String.length s = 1 then "0" ^ s else s
let strf_e t =
let s = string_of_int t._tm_mday in
if String.length s = 1 then " " ^ s else s
let strf_H t =
let s = string_of_int t._tm_hour in
if String.length s = 1 then "0" ^ s else s
let strf_I t =
let s = string_of_int (t._tm_hour mod 12) in
if String.length s = 1 then "0" ^ s else s
let strf_j t =
let s = string_of_int t._tm_yday in
match String.length s with
| 1 -> "00" ^ s
| 2 -> "0" ^ s
| _ -> s
let strf_m t =
let s = string_of_int (t._tm_mon + 1) in
if String.length s = 1 then "0" ^ s else s
let strf_M t =
let s = string_of_int t._tm_min in
if String.length s = 1 then "0" ^ s else s
let strf_p t =
if t._tm_hour >= 12 then "p.m" else "a.m"
let strf_S t =
let s = string_of_int t._tm_sec in
if String.length s = 1 then "0" ^ s else s
let strf_T t =
strf_H t ^ ":" ^ strf_M t ^ ":" ^ strf_S t
let strf_u t =
match t._tm_wday with
| 0 -> "7"
| n -> string_of_int (n + 1)
let strf_w t =
string_of_int t._tm_wday
let strf_Y t =
string_of_int (t._tm_year + 1900)
let strf_percent _ = "%"
let strftime_pairs =
["%a", strf_a; "%A", strf_A; "%b", strf_b; "%B", strf_B;
"%d", strf_d; "%e", strf_e; "%H", strf_H;
"%I", strf_I; "%j", strf_j; "%m", strf_m; "%M", strf_M;
"%p", strf_p; "%S", strf_S; "%T", strf_T; "%u", strf_u;
"%w", strf_w; "%Y", strf_Y; "%%", strf_percent]
let contents_of_file filename =
let ch = open_in_bin filename in
let s = really_input_string ch (in_channel_length ch) in
close_in ch;
s
(* Platform-independent current time and date with no Unix module *)
let utf8_of_utf16le s =
implode (drop_evens (tl (tl (explode s))))
let year_day d m y =
let n1 = 275 * m / 9 in
let n2 = (m + 9) / 12 in
let n3 = 1 + (y - 4 * (y / 4) + 2) / 3 in
n1 - n2 * n3 + d - 30
let current_time () =
let d = Unix.localtime (Unix.time ()) in
{_tm_sec = d.tm_sec;
_tm_min = d.tm_min;
_tm_hour = d.tm_hour;
_tm_mday = d.tm_mday;
_tm_mon = d.tm_mon;
_tm_year = d.tm_year;
_tm_wday = d.tm_wday;
_tm_yday = d.tm_yday;
_tm_isdst = d.tm_isdst}
let strftime ?time text =
let time =
match time with None -> current_time () | Some t -> t
in
let text = ref text in
iter
(fun (search, replace_fun) ->
text := string_replace_all search (replace_fun time) !text)
strftime_pairs;
!text
|
