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
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
|
(* Stolen from the python tests *)
open Swig
open Minherit
let a = new_Foo C_void
let b = new_Bar C_void
let c = new_FooBar C_void
let d = new_Spam C_void
let soci x = (string_of_int (get_int x))
let _ =
if (invoke a) "xget" C_void <> (C_int 1) then
raise (Failure "Bad attribute value (a.xget)")
let _ =
if (invoke b) "yget" C_void <> (C_int 2) then
raise (Failure "Bad attribute value (b.yget)")
let _ =
if (invoke c) "xget" C_void <> (C_int 1)
|| (invoke c) "yget" C_void <> (C_int 2)
|| (invoke c) "zget" C_void <> (C_int 3) then
raise (Failure "Bad attribute value c")
let _ =
if (invoke d) "xget" C_void <> (C_int 1)
|| (invoke d) "yget" C_void <> (C_int 2)
|| (invoke d) "zget" C_void <> (C_int 3)
|| (invoke d) "wget" C_void <> (C_int 4) then
raise (Failure "Bad attribute value d")
let xga = _xget a
let _ =
if xga <> (C_int 1) then
raise (Failure ("Bad attribute value (xget a): " ^ (soci xga)))
let ygb = _yget b
let _ =
if ygb <> (C_int 2) then
raise (Failure ("Bad attribute value (yget b): " ^
(string_of_int (get_int ygb))))
let xgc = _xget c and ygc = _yget c and zgc = _zget c
let _ =
if xgc <> (C_int 1) || ygc <> (C_int 2) || zgc <> (C_int 3) then
raise (Failure ("Bad attribute value (xgc=" ^ (soci xgc) ^
" (sb 1) ygc=" ^ (soci ygc) ^
" (sb 2) zgc=" ^ (soci zgc) ^
" (sb 3))"))
let xgd = _xget d and ygd = _yget d and zgd = _zget d and wgd = _wget d
let _ =
if xgd <> (C_int 1) || ygd <> (C_int 2)
|| zgd <> (C_int 3) || wgd <> (C_int 4) then
raise (Failure ("Bad attribute value (xgd=" ^ (soci xgd) ^
" (sb 1) ygd=" ^ (soci ygd) ^
" (sb 2) zgd=" ^ (soci zgd) ^
" (sb 3)"))
(* Cleanse all of the pointers and see what happens *)
let aa = _toFooPtr a
let bb = _toBarPtr b
let cc = _toFooBarPtr c
let dd = _toSpamPtr d
let xgaa = (invoke aa) "xget" C_void
let _ =
if xgaa <> (C_int 1) then
raise (Failure ("Bad attribute value xgaa " ^ (soci xgaa)))
let ygbb = (invoke bb) "yget" C_void
let _ =
if ygbb <> (C_int 2) then
raise (Failure ("Bad attribute value ygbb " ^ (soci ygbb)))
let xgcc = (invoke cc) "xget" C_void
and ygcc = (invoke cc) "yget" C_void
and zgcc = (invoke cc) "zget" C_void
let _ =
if xgcc <> (C_int 1) || ygcc <> (C_int 2) || zgcc <> (C_int 3) then
raise (Failure ("Bad attribute value (" ^
(soci xgcc) ^ " (sb 1) " ^
(soci ygcc) ^ " (sb 2) " ^
(soci zgcc) ^ " (sb 3))"))
let xgdd = (invoke dd) "xget" C_void
and ygdd = (invoke dd) "yget" C_void
and zgdd = (invoke dd) "zget" C_void
and wgdd = (invoke dd) "wget" C_void
let _ =
if xgdd <> (C_int 1) || ygdd <> (C_int 2)
|| zgdd <> (C_int 3) || wgdd <> (C_int 4) then
raise (Failure ("Bad value: " ^
"xgdd=" ^ (soci xgdd) ^
"ygdd=" ^ (soci ygdd) ^
"zgdd=" ^ (soci zgdd) ^
"wgdd=" ^ (soci wgdd)))
let xgaa = _xget aa
and ygbb = _yget bb
and xgcc = _xget cc
and ygcc = _yget cc
and zgcc = _zget cc
and xgdd = _xget dd
and ygdd = _yget dd
and zgdd = _zget dd
and wgdd = _wget dd
let _ =
if xgaa <> (C_int 1) then
raise (Failure ("Fn xget: xgaa=" ^ (soci xgaa)))
let _ =
if ygbb <> (C_int 2) then
raise (Failure ("Fn yget: ygbb=" ^ (soci ygbb)))
let _ =
if xgcc <> (C_int 1) || ygcc <> (C_int 2) || zgcc <> (C_int 3) then
raise (Failure ("CC with fns: (" ^
(soci xgcc) ^ " " ^ (soci ygcc) ^ " " ^ (soci zgcc)))
let _ =
if xgdd <> (C_int 1) || ygdd <> (C_int 2)
|| zgdd <> (C_int 3) || wgdd <> (C_int 4) then
raise (Failure ("CC with fns: (" ^
(soci xgdd) ^ " " ^ (soci ygdd) ^ " " ^
(soci zgdd) ^ " " ^ (soci wgdd) ^ ")"))
|
