From 04c19bc7ccae1ce8e20733c075df5e9d6c448fc4 Mon Sep 17 00:00:00 2001
From: manuel <manuel@mausz.at>
Date: Wed, 29 Jun 2011 03:01:35 +0200
Subject: add replaceabality test

---
 eiffel-fragen/replaceability/base.e | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 eiffel-fragen/replaceability/base.e

(limited to 'eiffel-fragen/replaceability/base.e')

diff --git a/eiffel-fragen/replaceability/base.e b/eiffel-fragen/replaceability/base.e
new file mode 100644
index 0000000..61f0eb9
--- /dev/null
+++ b/eiffel-fragen/replaceability/base.e
@@ -0,0 +1,13 @@
+class
+	BASE
+
+feature
+	add10(num: INTEGER): INTEGER
+		require
+			base_always_false: false -- always false
+		do
+			RESULT := num + 10
+		ensure
+			base_always_true: true
+		end
+end
-- 
cgit v1.2.3