1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
open Swig
open Template_default_arg_overloaded_extend
let _ =
let rs = new_ResultSet '() and sp = new_SearchPoint '() in
assert (rs -> go_get_method (0, sp) as int = -1);
assert (rs -> go_get_method (0, sp, 100) as int = 100);
assert (rs -> go_get_template (0, sp) as int = -2);
assert (rs -> go_get_template (0, sp, 100) as int = 100);
assert (rs -> over () as string = "over(int)");
assert (rs -> over (10) as string = "over(int)");
assert (rs -> over (sp) as string = "over(giai2::SearchPoint, int)");
assert (rs -> over (sp, 10) as string = "over(giai2::SearchPoint, int)");
assert (rs -> over (true, sp) as string = "over(bool, gaia2::SearchPoint, int)");
assert (rs -> over (true, sp, 10) as string = "over(bool, gaia2::SearchPoint, int)");
;;
|