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/derived.e | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 eiffel-fragen/replaceability/derived.e

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

diff --git a/eiffel-fragen/replaceability/derived.e b/eiffel-fragen/replaceability/derived.e
new file mode 100644
index 0000000..9a409bd
--- /dev/null
+++ b/eiffel-fragen/replaceability/derived.e
@@ -0,0 +1,25 @@
+class
+	DERIVED
+
+inherit
+	BASE
+		redefine add10
+		end
+
+feature
+	add10(num: INTEGER): INTEGER
+		require else
+			-- my precondition
+			derived_num_positive: num > 0
+		do
+			RESULT := num + 10
+		ensure then
+			-- my postcondition
+			derived_result_equals_myresult: RESULT = myresult
+		end
+
+	myresult: INTEGER
+		do
+			RESULT := 110
+		end
+end
-- 
cgit v1.2.3