/trunk/Examples/python/contract/example.i

 1/* File : example.i */
 2%module example
 3
 4%contract gcd(int x, int y) {
 5require:
 6	x >= 0;
 7	y >= 0;
 8}
 9
10%contract fact(int n) {
11require:
12	n >= 0;
13ensure:
14	fact >= 1;
15}
16
17%inline %{
18extern int    gcd(int x, int y);
19extern int    fact(int n);
20extern double Foo;
21%}