summaryrefslogtreecommitdiff
path: root/Examples/contract/simple_cxx/example.i
diff options
context:
space:
mode:
Diffstat (limited to 'Examples/contract/simple_cxx/example.i')
-rw-r--r--Examples/contract/simple_cxx/example.i28
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"