blob: 907d1abd1e4b1d19044cf05500e63dcb5e3fd337 (
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
|
(************************************************************************)
(* ocplib-endian *)
(* *)
(* Copyright 2012 OCamlPro *)
(* *)
(* This file is distributed under the terms of the GNU Lesser General *)
(* Public License as published by the Free Software Foundation; either *)
(* version 2.1 of the License, or (at your option) any later version, *)
(* with the OCaml static compilation exception. *)
(* *)
(* ocplib-endian 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 General Public License for more details. *)
(* *)
(************************************************************************)
open Bigarray
type bigstring = (char, int8_unsigned_elt, c_layout) Array1.t
module type EndianBigstringSig = sig
(** Functions reading according to Big Endian byte order *)
val get_char : bigstring -> int -> char
(** [get_char buff i] reads 1 byte at offset i as a char *)
val get_uint8 : bigstring -> int -> int
(** [get_uint8 buff i] reads 1 byte at offset i as an unsigned int of 8
bits. i.e. It returns a value between 0 and 2^8-1 *)
val get_int8 : bigstring -> int -> int
(** [get_int8 buff i] reads 1 byte at offset i as a signed int of 8
bits. i.e. It returns a value between -2^7 and 2^7-1 *)
val get_uint16 : bigstring -> int -> int
(** [get_uint16 buff i] reads 2 bytes at offset i as an unsigned int
of 16 bits. i.e. It returns a value between 0 and 2^16-1 *)
val get_int16 : bigstring -> int -> int
(** [get_int16 buff i] reads 2 byte at offset i as a signed int of
16 bits. i.e. It returns a value between -2^15 and 2^15-1 *)
val get_int32 : bigstring -> int -> int32
(** [get_int32 buff i] reads 4 bytes at offset i as an int32. *)
val get_int64 : bigstring -> int -> int64
(** [get_int64 buff i] reads 8 bytes at offset i as an int64. *)
val get_float : bigstring -> int -> float
(** [get_float buff i] is equivalent to
[Int32.float_of_bits (get_int32 buff i)] *)
val get_double : bigstring -> int -> float
(** [get_double buff i] is equivalent to
[Int64.float_of_bits (get_int64 buff i)] *)
val set_char : bigstring -> int -> char -> unit
(** [set_char buff i v] writes [v] to [buff] at offset [i] *)
val set_int8 : bigstring -> int -> int -> unit
(** [set_int8 buff i v] writes the least significant 8 bits of [v]
to [buff] at offset [i] *)
val set_int16 : bigstring -> int -> int -> unit
(** [set_int16 buff i v] writes the least significant 16 bits of [v]
to [buff] at offset [i] *)
val set_int32 : bigstring -> int -> int32 -> unit
(** [set_int32 buff i v] writes [v] to [buff] at offset [i] *)
val set_int64 : bigstring -> int -> int64 -> unit
(** [set_int64 buff i v] writes [v] to [buff] at offset [i] *)
val set_float : bigstring -> int -> float -> unit
(** [set_float buff i v] is equivalent to
[set_int32 buff i (Int32.bits_of_float v)] *)
val set_double : bigstring -> int -> float -> unit
(** [set_double buff i v] is equivalent to
[set_int64 buff i (Int64.bits_of_float v)] *)
end
let get_char (s:bigstring) off =
Array1.get s off
[@@ocaml.inline]
let set_char (s:bigstring) off v =
Array1.set s off v
[@@ocaml.inline]
let unsafe_get_char (s:bigstring) off =
Array1.unsafe_get s off
[@@ocaml.inline]
let unsafe_set_char (s:bigstring) off v =
Array1.unsafe_set s off v
[@@ocaml.inline]
#include "common.ml"
external unsafe_get_16 : bigstring -> int -> int = "%caml_bigstring_get16u"
external unsafe_get_32 : bigstring -> int -> int32 = "%caml_bigstring_get32u"
external unsafe_get_64 : bigstring -> int -> int64 = "%caml_bigstring_get64u"
external unsafe_set_16 : bigstring -> int -> int -> unit = "%caml_bigstring_set16u"
external unsafe_set_32 : bigstring -> int -> int32 -> unit = "%caml_bigstring_set32u"
external unsafe_set_64 : bigstring -> int -> int64 -> unit = "%caml_bigstring_set64u"
external get_16 : bigstring -> int -> int = "%caml_bigstring_get16"
external get_32 : bigstring -> int -> int32 = "%caml_bigstring_get32"
external get_64 : bigstring -> int -> int64 = "%caml_bigstring_get64"
external set_16 : bigstring -> int -> int -> unit = "%caml_bigstring_set16"
external set_32 : bigstring -> int -> int32 -> unit = "%caml_bigstring_set32"
external set_64 : bigstring -> int -> int64 -> unit = "%caml_bigstring_set64"
#include "common_401.ml"
|
