/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 

    

  1. %module example
    2. 

  2. %{
    3. 

  3. #include <math.h>
    4. 

  4. %}
    5. 

  5. 

  6. /* File : example.i */
    7. 

  7. %module example
    8. 

  8. 

  9. %contract cos(double d) {
    10. 

  10. require:
    11. 

  11. 	d >= -3.14159265358979323845254338327950;
    12. 

  12. 	d < 3.14159265358979323846264338327950;
    13. 

  13. ensure:
    14. 

  14. 	cos >= -1.0;
    15. 

  15. 	cos <= 1.0;
    16. 

  16. }
    17. 

  17. 

  18. double cos(double d);
    19.