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
|
(* Test the unions example... *)
open Swig
open Unions
let a = new_SmallStruct C_void
let b = new_BigStruct C_void
let c = new_UnionTest C_void
let d = new_EmbeddedUnionTest C_void
let _ = (invoke a) "jill" (C_short 3)
let _ = (invoke b) "jack" (C_char 'a') (* Int conversion *)
let _ = (invoke b) "smallstruct" a (* Put a in b *)
let _ = (invoke c) "bs" b
let _ = if get_int ((invoke a) "jill" C_void) != 3 then
raise (Failure "jill value is not preserved")
let _ = if get_int ((invoke b) "jack" C_void) != (int_of_char 'a') then
raise (Failure "jack value is not preserved")
let _ = if get_int ((invoke ((invoke b) "smallstruct" C_void))
"jill" C_void) != 3 then
raise (Failure "jill value is not embedded in bigstruct")
let _ = if get_int ((invoke ((invoke c) "bs" C_void))
"jack" C_void) != (int_of_char 'a') then
raise (Failure "union set of bigstruct did not take")
let _ = if get_int ((invoke ((invoke c) "ss" C_void))
"jill" C_void) != (int_of_char 'a') then
raise (Failure "corresponding union values are not the same")
|
