File: example.i

package info (click to toggle)
cableswig 0.1.0%2Bcvs20100501-1
  • links: PTS
  • area: main
  • in suites: squeeze
  • size: 16,068 kB
  • ctags: 10,732
  • sloc: cpp: 34,106; ansic: 32,676; yacc: 3,999; makefile: 3,791; python: 2,387; ruby: 2,063; lisp: 1,841; java: 1,817; tcl: 1,097; php: 908; ml: 804; perl: 686; cs: 206; sh: 155
file content (19 lines) | stat: -rw-r--r-- 244 bytes parent folder | download | duplicates (12) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
/* File : example.i */
%module example

%contract gcd(int x, int y) {
require:
	x >= 0;
	y >= 0;
}

%contract fact(int n) {
require:
	n >= 0;
ensure:
	fact >= 1;
}

extern int    gcd(int x, int y);
extern int    fact(int n);
extern double Foo;