From 04c19bc7ccae1ce8e20733c075df5e9d6c448fc4 Mon Sep 17 00:00:00 2001
From: manuel <manuel@mausz.at>
Date: Wed, 29 Jun 2011 03:01:35 +0200
Subject: add replaceabality test

---
 eiffel-fragen/nachbedingung/child.e | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 eiffel-fragen/nachbedingung/child.e

(limited to 'eiffel-fragen/nachbedingung/child.e')

diff --git a/eiffel-fragen/nachbedingung/child.e b/eiffel-fragen/nachbedingung/child.e
deleted file mode 100644
index fcbe8c3..0000000
--- a/eiffel-fragen/nachbedingung/child.e
+++ /dev/null
@@ -1,25 +0,0 @@
-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
-- 
cgit v1.2.3