File: newobject1_runme.ml

package info (click to toggle)
swig 3.0.10-1.1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 40,672 kB
  • ctags: 18,134
  • sloc: cpp: 57,901; ansic: 26,762; java: 11,026; python: 8,544; cs: 6,999; makefile: 6,450; yacc: 5,649; sh: 5,201; ruby: 4,680; perl: 3,461; php: 1,880; lisp: 1,827; tcl: 1,068; ml: 747; xml: 115
file content (26 lines) | stat: -rw-r--r-- 802 bytes parent folder | download | duplicates (22)
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
open Swig
open Newobject1

exception RuntimeError of string * int

let foo1 = ref (_Foo_makeFoo C_void)
let _ = if get_int (_Foo_fooCount C_void) != 1 then
   raise (RuntimeError ("(1) Foo.fooCount != 1",
			get_int (_Foo_fooCount C_void)))

let foo2 = ref ((invoke !foo1) "makeMore" C_void) 
let _ = if get_int (_Foo_fooCount C_void) != 2 then
   raise (RuntimeError ("(2) Foo.fooCount != 2",
			get_int (_Foo_fooCount C_void)))

let _ = begin
  foo1 := C_void ; Gc.full_major () ;
  (if get_int (_Foo_fooCount C_void) != 1 then
	raise (RuntimeError ("(3) Foo.fooCount != 1",
			     get_int (_Foo_fooCount C_void)))) ;

  foo2 := C_void ; Gc.full_major () ;
  (if get_int (_Foo_fooCount C_void) != 0 then
	raise (RuntimeError ("(4) Foo.fooCount != 0",
			     get_int (_Foo_fooCount C_void)))) ;
end