PageRenderTime 18ms CodeModel.GetById 16ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 1ms

/trunk/Examples/tcl/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%}