PageRenderTime 40ms CodeModel.GetById 7ms RepoModel.GetById 0ms app.codeStats 0ms

/trunk/Examples/contract/simple_cxx/example.i

#
Swig | 28 lines | 22 code | 5 blank | 1 comment | 0 complexity | 65b24802aa5a4e58f3e92edeb0f42826 MD5 | raw file
Possible License(s): LGPL-2.1, Cube, GPL-3.0, 0BSD, GPL-2.0 
    

  1. %module example
    2. 

  2. 

  3. %contract Circle::Circle(double radius) {
    4. 

  4. require:
    5. 

  5.     radius > 0;
    6. 

  6. }
    7. 

  7. 

  8. %contract Circle::area(void) {
    9. 

  9. ensure:
    10. 

  10.     area > 0;
    11. 

  11. }
    12. 

  12. 

  13. %contract Shape::move(double dx, double dy) {
    14. 

  14. require:
    15. 

  15.     dx > 0;
    16. 

  16. }
    17. 

  17. 

  18. /* should be no effect, since there is no move() for class Circle */
    19. 

  19. %contract Circle::move(double dx, double dy) {
    20. 

  20. require:
    21. 

  21.     dy > 1;
    22. 

  22. }
    23. 

  23. 

  24. # include must be after contracts
    25. 

  25. %{
    26. 

  26. #include "example.h"
    27. 

  27. %}
    28. 

  28. %include "example.h"
    29. 

  29.