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
|
open Ctypes
open Posix_socket
let () = Printf.printf "sizeof(socklen_t) = %d\n%!" (sizeof socklen_t)
let from_ptr t ptr = from_voidp t (to_voidp ptr)
let () =
let inet_addr = Unix.inet_addr_of_string "0.0.0.1" in
let sockaddr = from_unix_sockaddr (Unix.ADDR_INET (inet_addr, 80)) in
Printf.printf "sockaddr.sa_family = %d\n%!"
(Sa_family.to_int !@(sockaddr |-> Sockaddr.sa_family));
let sockaddr_in = from_ptr SockaddrInet.t sockaddr in
Printf.printf "sockaddr_in.sin_addr.s_addr = %d\n%!"
(Unsigned.UInt32.to_int
(ntohl !@(sockaddr_in |-> SockaddrInet.sin_addr |-> SockaddrInet.s_addr)));
let unix_socket = to_unix_sockaddr sockaddr in
match unix_socket with
| Unix.ADDR_INET (inet_addr, port) ->
Printf.printf "Unix.ADDR_INET(%S,%d)\n%!"
(Unix.string_of_inet_addr inet_addr)
port
| _ -> assert false
let () =
let name = "google.com" in
match getaddrinfo name with
| exception Posix_socket.Error v ->
Printf.printf "Got exception %s in (getaddrinfo %S) call!\n%!"
(Posix_socket.strerror v) name
| sockaddr :: _ ->
let name, port = getnameinfo sockaddr in
Printf.printf "Socket name: %s, port: %d\n%!" name port
| _ -> assert false
let () =
match getaddrinfo "/invalid" with
| exception Posix_socket.Error v ->
Printf.printf
"As expected, got exception %s for invalid getaddrinfo call!\n%!"
(Posix_socket.strerror v)
| _ -> assert false
let () =
match getnameinfo Ctypes.(coerce (ptr void) (ptr Sockaddr.t) null) with
| exception Posix_socket.Error v ->
Printf.printf
"As expected exception %s for invalid getaddrinfo call!\n%!"
(Posix_socket.strerror v)
| _ -> assert false
let () =
Gc.full_major ();
Gc.full_major ()
|
