1 files changed, 25 insertions, 0 deletions

diff --git a/eiffel-fragen/nachbedingung/child.e b/eiffel-fragen/nachbedingung/child.e
new file mode 100644
index 0000000..fcbe8c3
--- /dev/null
+++ b/eiffel-fragen/nachbedingung/child.e
@@ -0,0 +1,25 @@
+class
+               CHILD
+inherit
+        COUNTER
+                redefine
+                        set,
+                        checkval
+            end
+
+feature -- Element change
+
+    set (some_value: INTEGER) is
+            -- Set value of counter to some_value.
+             do
+                         item := some_value - 10
+             ensure then
+                                 checkval > 0
+             end
+
+    checkval: INTEGER is
+                -- Get value of counter
+                do
+                        Result := item + 20
+                end
+end