1 files changed, 30 insertions, 0 deletions

diff --git a/eiffel-fragen/nachbedingung/counter.e b/eiffel-fragen/nachbedingung/counter.e
new file mode 100644
index 0000000..db93ce7
--- /dev/null
+++ b/eiffel-fragen/nachbedingung/counter.e
@@ -0,0 +1,30 @@
+class
+               COUNTER
+
+feature -- Access
+
+    item: INTEGER
+                          -- Counter's value.
+
+feature -- Element change
+
+    set (some_value: INTEGER) is
+            -- Set value of counter to some_value.
+             do
+                         item := some_value
+             ensure
+                                 checkval > 0
+             end
+
+    get: INTEGER is
+                -- Get value of counter
+                do
+                        Result := item
+                end
+
+    checkval: INTEGER is
+                -- Get value of counter
+                do
+                        Result := item
+                end
+end