1 files changed, 25 insertions, 0 deletions

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