PageRenderTime 4ms CodeModel.GetById 1ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/trunk/Examples/ocaml/contract/example.i

#
Swig | 18 lines | 14 code | 3 blank | 1 comment | 0 complexity | 36ce588b98f03a599ad975772e04cb6b MD5 | raw file
 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);