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
|
(* File: write_c.ml
Copyright (C) 2007-
Jane Street Holding, LLC
Author: Markus Mottl
email: mmottl\@janestreet.com
WWW: http://www.janestreet.com/ocaml
This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2 of the License, or (at your option) any later version.
This library 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 PURPOSE. See the GNU
Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with this library; if not, write to the Free Software
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
*)
(* Write_c: wrapping unsafe C-style writers to safe ML-style ones. *)
open Bigarray
open Common
open Unsafe_common
let unsafe_get_init buf ~pos =
if pos < 0 then array_bound_error ()
else
let buf_len = Array1.dim buf in
if pos > buf_len then raise Buffer_short
else
let start = get_sptr buf ~pos:0 in
let sptr = get_sptr buf ~pos in
let eptr = get_eptr buf ~pos:buf_len in
start, sptr, eptr
let make write_c buf ~pos el =
let start, sptr, eptr = unsafe_get_init buf ~pos in
let cur = write_c sptr eptr el in
get_safe_buf_pos buf ~start ~cur
let unmake write_ml buf ~start sptr _eptr el =
let start_pos = get_buf_pos ~start ~cur:sptr in
let pos = write_ml buf ~pos:start_pos el in
get_sptr buf ~pos
let make1 write_c write_ml_el buf ~pos el =
let start, sptr, eptr = unsafe_get_init buf ~pos in
let write_c_el = unmake write_ml_el buf ~start in
let cur = write_c write_c_el sptr eptr el in
get_safe_buf_pos buf ~start ~cur
let make2 write_c write_ml_el1 write_ml_el2 buf ~pos el =
let start, sptr, eptr = unsafe_get_init buf ~pos in
let write_c_el1 = unmake write_ml_el1 buf ~start in
let write_c_el2 = unmake write_ml_el2 buf ~start in
let cur = write_c write_c_el1 write_c_el2 sptr eptr el in
get_safe_buf_pos buf ~start ~cur
let make3 write_c write_ml_el1 write_ml_el2 write_ml_el3 buf ~pos el =
let start, sptr, eptr = unsafe_get_init buf ~pos in
let write_c_el1 = unmake write_ml_el1 buf ~start in
let write_c_el2 = unmake write_ml_el2 buf ~start in
let write_c_el3 = unmake write_ml_el3 buf ~start in
let cur = write_c write_c_el1 write_c_el2 write_c_el3 sptr eptr el in
get_safe_buf_pos buf ~start ~cur
let bin_write_unit = make Unsafe_write_c.bin_write_unit
let bin_write_bool = make Unsafe_write_c.bin_write_bool
let bin_write_string = make Unsafe_write_c.bin_write_string
let bin_write_char = make Unsafe_write_c.bin_write_char
let bin_write_int = make Unsafe_write_c.bin_write_int
let bin_write_float = make Unsafe_write_c.bin_write_float
let bin_write_int32 = make Unsafe_write_c.bin_write_int32
let bin_write_int64 = make Unsafe_write_c.bin_write_int64
let bin_write_nativeint = make Unsafe_write_c.bin_write_nativeint
let bin_write_nat0 = make Unsafe_write_c.bin_write_nat0
let bin_write_ref mlw = make1 Unsafe_write_c.bin_write_ref mlw
let bin_write_lazy mlw = make1 Unsafe_write_c.bin_write_lazy mlw
let bin_write_option mlw = make1 Unsafe_write_c.bin_write_option mlw
let bin_write_pair mlw = make2 Unsafe_write_c.bin_write_pair mlw
let bin_write_triple mlw = make3 Unsafe_write_c.bin_write_triple mlw
let bin_write_list mlw = make1 Unsafe_write_c.bin_write_list mlw
let bin_write_array mlw = make1 Unsafe_write_c.bin_write_array mlw
let bin_write_hashtbl mlw = make2 Unsafe_write_c.bin_write_hashtbl mlw
let bin_write_float32_vec = make Unsafe_write_c.bin_write_float32_vec
let bin_write_float64_vec = make Unsafe_write_c.bin_write_float64_vec
let bin_write_vec = make Unsafe_write_c.bin_write_vec
let bin_write_float32_mat = make Unsafe_write_c.bin_write_float32_mat
let bin_write_float64_mat = make Unsafe_write_c.bin_write_float64_mat
let bin_write_mat = make Unsafe_write_c.bin_write_mat
let bin_write_bigstring = make Unsafe_write_c.bin_write_bigstring
let bin_write_float_array = make Unsafe_write_c.bin_write_float_array
let bin_write_variant_tag el = make Unsafe_write_c.bin_write_variant_tag el
let bin_write_array_no_length mlw =
make1 Unsafe_write_c.bin_write_array_no_length mlw
let bin_write_int_64bit = make Unsafe_write_c.bin_write_int_64bit
let bin_write_int64_bits = make Unsafe_write_c.bin_write_int64_bits
let bin_write_network16_int = make Unsafe_write_c.bin_write_network16_int
let bin_write_network32_int = make Unsafe_write_c.bin_write_network32_int
let bin_write_network32_int32 = make Unsafe_write_c.bin_write_network32_int32
let bin_write_network64_int = make Unsafe_write_c.bin_write_network64_int
let bin_write_network64_int64 = make Unsafe_write_c.bin_write_network64_int64
|
