/tags/rel-1-3-25/SWIG/Examples/tcl/contract/example.i

# · Swig · 19 lines · 15 code · 3 blank · 1 comment · 0 complexity · fdfdb2c023e58f5bb111fc66e86180e5 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. extern int    gcd(int x, int y);
    18. 

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

  19. extern double Foo;
    20.