/tags/rel-1-3-25/SWIG/Examples/tcl/contract/example.i
Swig | 19 lines | 15 code | 3 blank | 1 comment | 0 complexity | fdfdb2c023e58f5bb111fc66e86180e5 MD5 | raw file
Possible License(s): LGPL-2.1, Cube, GPL-3.0, 0BSD, GPL-2.0
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;