/tags/Root-branch-php-utl/SWIG/Examples/ocaml/contract/example.i
Swig | 18 lines | 14 code | 3 blank | 1 comment | 0 complexity | 36ce588b98f03a599ad975772e04cb6b MD5 | raw file
Possible License(s): LGPL-2.1, Cube, GPL-3.0, 0BSD, GPL-2.0
1%module example
2%{
3#include <math.h>
4%}
5
6/* File : example.i */
7%module example
8
9%contract cos(double d) {
10require:
11 d >= -3.14159265358979323845254338327950;
12 d < 3.14159265358979323846264338327950;
13ensure:
14 cos >= -1.0;
15 cos <= 1.0;
16}
17
18double cos(double d);