PageRenderTime 38ms CodeModel.GetById 13ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/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;