/trunk/Examples/python/contract/example.i
Swig | 21 lines | 17 code | 3 blank | 1 comment | 0 complexity | a7b9ad69a3977beb3c3457947f4b485d MD5 | raw file
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%}