rel-2.0.0v2.0.0rel-2.0.0

git-svn-id: https://swig.svn.sourceforge.net/svnroot/swig/tags/rel-2.0.0@12089 626c5289-ae23-0410-ae9c-e8d60b6d4f22

1 files changed, 21 insertions, 0 deletions

diff --git a/trunk/Examples/python/contract/example.i b/trunk/Examples/python/contract/example.i
new file mode 100644
index 000000000..8fd1a80af
--- /dev/null
+++ b/trunk/Examples/python/contract/example.i
@@ -0,0 +1,21 @@
+/* File : example.i */
+%module example
+
+%contract gcd(int x, int y) {
+require:
+	x >= 0;
+	y >= 0;
+}
+
+%contract fact(int n) {
+require:
+	n >= 0;
+ensure:
+	fact >= 1;
+}
+
+%inline %{
+extern int    gcd(int x, int y);
+extern int    fact(int n);
+extern double Foo;
+%}