/tags/rel-1-3-25/SWIG/Examples/tcl/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
17extern int    gcd(int x, int y);
18extern int    fact(int n);
19extern double Foo;