package posix-signal

  1. Overview
  2. Docs

Source file posix_signal_generated_stubs.ml

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
module CI = Cstubs_internals

external posix_signal_1_sigemptyset : _ CI.fatptr -> int
  = "posix_signal_1_sigemptyset" 

external posix_signal_2_sigaddset : _ CI.fatptr -> int -> int
  = "posix_signal_2_sigaddset" 

external posix_signal_3_sigismember : _ CI.fatptr -> int -> int
  = "posix_signal_3_sigismember" 

external posix_signal_4_pthread_sigmask
  : int -> _ CI.fatptr -> _ CI.fatptr -> int
  = "posix_signal_4_pthread_sigmask" 

external posix_signal_5_sigprocmask
  : int -> _ CI.fatptr -> _ CI.fatptr -> int = "posix_signal_5_sigprocmask" 

type 'a result = 'a
type 'a return = 'a
type 'a fn =
 | Returns  : 'a CI.typ   -> 'a return fn
 | Function : 'a CI.typ * 'b fn  -> ('a -> 'b) fn
let map_result f x = f x
let returning t = Returns t
let (@->) f p = Function (f, p)
let foreign : type a b. string -> (a -> b) fn -> (a -> b) =
  fun name t -> match t, name with
| Function
    (CI.Primitive CI.Int,
     Function
       (CI.Pointer _, Function (CI.Pointer _, Returns (CI.Primitive CI.Int)))),
  "sigprocmask" ->
  (fun x1 x2 x4 ->
    let CI.CPointer x5 = x4 in
    let CI.CPointer x3 = x2 in posix_signal_5_sigprocmask x1 x3 x5)
| Function
    (CI.Primitive CI.Int,
     Function
       (CI.Pointer _, Function (CI.Pointer _, Returns (CI.Primitive CI.Int)))),
  "pthread_sigmask" ->
  (fun x6 x7 x9 ->
    let CI.CPointer x10 = x9 in
    let CI.CPointer x8 = x7 in posix_signal_4_pthread_sigmask x6 x8 x10)
| Function
    (CI.Pointer _,
     Function (CI.Primitive CI.Int, Returns (CI.Primitive CI.Int))),
  "sigismember" ->
  (fun x11 x13 ->
    let CI.CPointer x12 = x11 in posix_signal_3_sigismember x12 x13)
| Function
    (CI.Pointer _,
     Function (CI.Primitive CI.Int, Returns (CI.Primitive CI.Int))),
  "sigaddset" ->
  (fun x14 x16 ->
    let CI.CPointer x15 = x14 in posix_signal_2_sigaddset x15 x16)
| Function (CI.Pointer _, Returns (CI.Primitive CI.Int)), "sigemptyset" ->
  (fun x17 -> let CI.CPointer x18 = x17 in posix_signal_1_sigemptyset x18)
| _, s ->  Printf.ksprintf failwith "No match for %s" s


let foreign_value : type a. string -> a Ctypes.typ -> a Ctypes.ptr =
  fun name t -> match t, name with
| _, s ->  Printf.ksprintf failwith "No match for %s" s

OCaml

Innovation. Community. Security.