File: newobject1_runme.ml

package info (click to toggle)
swig1.3 1.3.36-1
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 27,060 kB
  • ctags: 13,774
  • sloc: cpp: 40,816; ansic: 27,565; python: 9,069; java: 6,432; makefile: 5,065; yacc: 4,916; cs: 4,551; sh: 4,071; ruby: 3,760; perl: 3,562; lisp: 1,993; tcl: 1,266; php: 1,026; ml: 708
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