PageRenderTime 41ms CodeModel.GetById 14ms RepoModel.GetById 0ms app.codeStats 1ms

/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. /* File : example.i */
  6. %module example
  7. %contract cos(double d) {
  8. require:
  9. d >= -3.14159265358979323845254338327950;
  10. d < 3.14159265358979323846264338327950;
  11. ensure:
  12. cos >= -1.0;
  13. cos <= 1.0;
  14. }
  15. double cos(double d);