PageRenderTime 37ms CodeModel.GetById 17ms RepoModel.GetById 0ms app.codeStats 0ms

/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. 

  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.