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

# · Swig · 21 lines · 17 code · 3 blank · 1 comment · 0 complexity · a7b9ad69a3977beb3c3457947f4b485d MD5 · raw file 

    

  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.