File: director_exception_catches_runme.ml

package info (click to toggle)
swig 4.4.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 45,980 kB
  • sloc: cpp: 54,284; ansic: 29,022; java: 17,595; python: 12,734; cs: 10,421; ruby: 7,263; yacc: 6,501; makefile: 5,860; javascript: 5,538; sh: 5,422; perl: 4,246; php: 3,733; ml: 2,198; tcl: 2,015; lisp: 1,448; xml: 115
file content (15 lines) | stat: -rw-r--r-- 457 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
open Swig
open Director_exception_catches

exception CustomException of string

let new_MyClass ob meth args =
  match meth with
    | "description" -> raise (CustomException "CustomException thrown in description().")
    | _ -> (invoke ob) meth args

let b = new_derived_object new_BaseClass (new_MyClass) '()
try
  ignore (_BaseClass_call_description (b)); assert false
with CustomException s ->
  assert (s = "CustomException thrown in description().")