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/application.e     | 37 ---------------------------
 eiffel-fragen/nachbedingung/child.e           | 25 ------------------
 eiffel-fragen/nachbedingung/counter.e         | 30 ----------------------
 eiffel-fragen/nachbedingung/nachbedingung.ecf | 21 ---------------
 4 files changed, 113 deletions(-)
 delete mode 100644 eiffel-fragen/nachbedingung/application.e
 delete mode 100644 eiffel-fragen/nachbedingung/child.e
 delete mode 100644 eiffel-fragen/nachbedingung/counter.e
 delete mode 100644 eiffel-fragen/nachbedingung/nachbedingung.ecf

(limited to 'eiffel-fragen/nachbedingung')

diff --git a/eiffel-fragen/nachbedingung/application.e b/eiffel-fragen/nachbedingung/application.e
deleted file mode 100644
index 6babd0c..0000000
--- a/eiffel-fragen/nachbedingung/application.e
+++ /dev/null
@@ -1,37 +0,0 @@
-indexing
-	description : "nachbedingung application root class"
-	date        : "$Date: 2008-12-29 15:41:59 -0800 (Mon, 29 Dec 2008) $"
-	revision    : "$Revision: 76432 $"
-
-class
-	APPLICATION
-
-inherit
-	ARGUMENTS
-
-create
-	make
-
-feature {NONE} -- Implementation
-	ct: COUNTER
-	ch: CHILD
-
-feature {NONE} -- Initialization
-
-	make
-			-- Run application.
-		do
-			print ("nachbedingung%N")
-
-			create ct
-			ct.set(3)
-			print ("ct " + ct.get().out + "%N")
-
-			create ch
-			ch.set(-2)
-			print ("ch " + ch.get().out + "%N")
-
-			print ("done%N")
-		end
-
-end
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
diff --git a/eiffel-fragen/nachbedingung/counter.e b/eiffel-fragen/nachbedingung/counter.e
deleted file mode 100644
index db93ce7..0000000
--- a/eiffel-fragen/nachbedingung/counter.e
+++ /dev/null
@@ -1,30 +0,0 @@
-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
diff --git a/eiffel-fragen/nachbedingung/nachbedingung.ecf b/eiffel-fragen/nachbedingung/nachbedingung.ecf
deleted file mode 100644
index d55b076..0000000
--- a/eiffel-fragen/nachbedingung/nachbedingung.ecf
+++ /dev/null
@@ -1,21 +0,0 @@
-<?xml version="1.0" encoding="ISO-8859-1"?>
-<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-5-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-5-0 http://www.eiffel.com/developers/xml/configuration-1-5-0.xsd" name="nachbedingung" uuid="9ECF2BF2-5CA9-4126-B34E-978C47241CCD">
-	<target name="nachbedingung">
-		<root feature="make" class="APPLICATION"/>
-		<option warning="true">
-			<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
-		</option>
-		<precompile name="base_pre" location="$ISE_PRECOMP/base.ecf"/>
-		<library name="base" location="$ISE_LIBRARY/library/base/base.ecf"/>
-		<cluster name="nachbedingung" location=".\" recursive="true">
-			<file_rule>
-				<exclude>/EIFGENs$</exclude>
-				<exclude>/.svn$</exclude>
-				<exclude>/CVS$</exclude>
-			</file_rule>
-		</cluster>
-	</target>
-	<target name="nachbedingung_dotnet" extends="nachbedingung">
-		<setting name="msil_generation" value="true"/>
-	</target>
-</system>
-- 
cgit v1.2.3