blob: dc00f0605729950ec6a3f38bfa8bf4d82f36cc9f (
plain)
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
27
28
29
30
31
32
33
34
35
36
37
|
/* This file tests a few new contract features.
First it checks to make sure the constant aggregation macro
%aggregate_check() works. This is defined in swig.swg.
Next, it checks to make sure a simple contract works.
To support contracts, you need to add a macro to the runtime.
For Python, it looks like this:
#define SWIG_contract_assert(expr, msg) if (!(expr)) { PyErr_SetString(PyExc_RuntimeError, (char *) msg #expr ); goto fail; } else
Note: It is used like this:
SWIG_contract_assert(x == 1, "Some kind of error message");
Note: Contracts are still experimental. The runtime interface may
change in future versions.
*/
%module aggregate
%include <exception.i>
%aggregate_check(int, check_direction, UP, DOWN, LEFT, RIGHT)
%contract move(int x) {
require:
check_direction(x);
}
%inline %{
#define UP 1
#define DOWN 2
#define LEFT 3
#define RIGHT 4
int move(int direction) {
return direction;
}
%}
|
