make the replcaeability postcondition example a bit better

2 files changed, 13 insertions, 7 deletions

diff --git a/eiffel-fragen/replaceability/derived.e b/eiffel-fragen/replaceability/derived.e
index 9a409bd..b13300f 100644
--- a/eiffel-fragen/replaceability/derived.e
+++ b/eiffel-fragen/replaceability/derived.e
@@ -14,12 +14,15 @@ feature
                 do
                         RESULT := num + 10
                 ensure then
-                        -- my postcondition
-                        derived_result_equals_myresult: RESULT = myresult
+                        derived_result_equals_mypostcondition: mypostcondition(RESULT)
                 end
 
-        myresult: INTEGER
+        -- my postcondition
+        mypostcondition(num: INTEGER): BOOLEAN
                 do
-                        RESULT := 110
+                        Result := false
+                        if num = 110 then
+                                Result := true
+                        end
                 end
 end
diff --git a/eiffel-fragen/replaceability/derived2.e b/eiffel-fragen/replaceability/derived2.e
index 0622d41..7f23f15 100644
--- a/eiffel-fragen/replaceability/derived2.e
+++ b/eiffel-fragen/replaceability/derived2.e
@@ -7,7 +7,7 @@ inherit
                 end
         DERIVED
                 rename add10 as derived_add10
-                redefine myresult
+                redefine mypostcondition
                 end
 
 feature
@@ -20,8 +20,11 @@ feature
                 end
 
         -- weaken postcondition
-        myresult: INTEGER
+        mypostcondition(num: INTEGER): BOOLEAN
                 do
-                        RESULT := 20
+                        Result := false
+                        if Precursor(num) or num = 20 then
+                                Result := true
+                        end
                 end
 end