1 files changed, 28 insertions, 0 deletions

diff --git a/eiffel-fragen/replaceability/derived2.e b/eiffel-fragen/replaceability/derived2.e
new file mode 100644
index 0000000..232ea6c
--- /dev/null
+++ b/eiffel-fragen/replaceability/derived2.e
@@ -0,0 +1,28 @@
+class
+        DERIVED2
+
+inherit
+        BASE
+                redefine add10 select add10
+                end
+        DERIVED
+                rename add10 as derived_add10
+                redefine myresult
+                end
+
+feature
+        add10(num: INTEGER): INTEGER
+                require else
+                        -- stronger precondition
+                        derived2_num_between_1_and_10: num >= 1 and num <= 10
+                do
+                        RESULT := derived_add10(num)
+                ensure then
+                        -- weaken postcondition
+                end
+
+        myresult: INTEGER
+                do
+                        RESULT := 20
+                end
+end