Added minherit test + runme.

git-svn-id: https://swig.svn.sourceforge.net/svnroot/swig/trunk/SWIG@4870 626c5289-ae23-0410-ae9c-e8d60b6d4f22

Examples/test-suite/ocaml/minherit_runme.ml

@@ -0,0 +1,130 @@
+(* Stolen from the python tests *)
+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) ^ ")"))