1 files changed, 57 insertions, 0 deletions
diff --git a/Examples/contract/simple_cxx/runme3.py b/Examples/contract/simple_cxx/runme3.py
new file mode 100644
index 0000000..a663732
--- /dev/null
+++ b/Examples/contract/simple_cxx/runme3.py
@@ -0,0 +1,57 @@
+import example 
+
+# Create the Circle object
+
+r = 2;
+print "  Creating circle (radium: %d) :" % r
+c = example.Circle(r)
+
+# Set the location of the object
+
+c.x = 20
+c.y = 30
+print "  Here is its current position:"
+print "    Circle = (%f, %f)" % (c.x,c.y)
+
+# ----- Call some methods -----
+
+print "\n  Here are some properties of the Circle:"
+print "    area      = ", c.area()
+print "    perimeter = ", c.perimeter()
+dx = 1;
+dy = 1;
+print "    Moving with (%d, %d)..." % (dx, dy)
+c.move(dx, dy)
+
+del c
+
+print "==================================="
+
+# test move function */
+r = 2;
+print "  Creating circle (radium: %d) :" % r 
+c = example.Circle(r)
+# Set the location of the object
+
+c.x = 20
+c.y = 30
+print "  Here is its current position:"
+print "    Circle = (%f, %f)" % (c.x,c.y)
+
+# ----- Call some methods -----
+
+print "\n  Here are some properties of the Circle:"
+print "    area      = ", c.area()
+print "    perimeter = ", c.perimeter()
+
+# no error for Circle's pre-assertion
+dx = 1;
+dy = -1;
+print "    Moving with (%d, %d)..." % (dx, dy)
+c.move(dx, dy)
+
+# error with Shape's pre-assertion
+dx = -1;
+dy = 1;
+print "    Moving with (%d, %d)..." % (dx, dy)
+c.move(dx, dy)