PageRenderTime 34ms CodeModel.GetById 0ms RepoModel.GetById 1ms app.codeStats 0ms

/trunk/Examples/python/contract/example.i

#
Swig | 21 lines | 17 code | 3 blank | 1 comment | 0 complexity | a7b9ad69a3977beb3c3457947f4b485d MD5 | raw file
Possible License(s): LGPL-2.1, Cube, GPL-3.0, 0BSD, GPL-2.0 
    

  1. /* File : example.i */
    2. 

  2. %module example
    3. 

  3. 

  4. %contract gcd(int x, int y) {
    5. 

  5. require:
    6. 

  6. 	x >= 0;
    7. 

  7. 	y >= 0;
    8. 

  8. }
    9. 

  9. 

  10. %contract fact(int n) {
    11. 

  11. require:
    12. 

  12. 	n >= 0;
    13. 

  13. ensure:
    14. 

  14. 	fact >= 1;
    15. 

  15. }
    16. 

  16. 

  17. %inline %{
    18. 

  18. extern int    gcd(int x, int y);
    19. 

  19. extern int    fact(int n);
    20. 

  20. extern double Foo;
    21. 

  21. %}
    22. 

  22.