diff options
Diffstat (limited to 'Examples/contract/simple_cxx/example.i')
-rw-r--r-- | Examples/contract/simple_cxx/example.i | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/Examples/contract/simple_cxx/example.i b/Examples/contract/simple_cxx/example.i deleted file mode 100644 index 9b47409d0..000000000 --- a/Examples/contract/simple_cxx/example.i +++ /dev/null @@ -1,28 +0,0 @@ -%module example - -%contract Circle::Circle(double radius) { -require: - radius > 0; -} - -%contract Circle::area(void) { -ensure: - area > 0; -} - -%contract Shape::move(double dx, double dy) { -require: - dx > 0; -} - -/* should be no effect, since there is no move() for class Circle */ -%contract Circle::move(double dx, double dy) { -require: - dy > 1; -} - -# include must be after contracts -%{ -#include "example.h" -%} -%include "example.h" |