4 files changed, 0 insertions, 113 deletions
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>

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 @@
1	indexing
2	description : "nachbedingung application root class"
3	date : "$Date: 2008-12-29 15:41:59 -0800 (Mon, 29 Dec 2008) $"
4	revision : "$Revision: 76432 $"
5
6	class
7	APPLICATION
8
9	inherit
10	ARGUMENTS
11
12	create
13	make
14
15	feature {NONE} -- Implementation
16	ct: COUNTER
17	ch: CHILD
18
19	feature {NONE} -- Initialization
20
21	make
22	-- Run application.
23	do
24	print ("nachbedingung%N")
25
26	create ct
27	ct.set(3)
28	print ("ct " + ct.get().out + "%N")
29
30	create ch
31	ch.set(-2)
32	print ("ch " + ch.get().out + "%N")
33
34	print ("done%N")
35	end
36
37	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 @@
1	class
2	CHILD
3	inherit
4	COUNTER
5	redefine
6	set,
7	checkval
8	end
9
10	feature -- Element change
11
12	set (some_value: INTEGER) is
13	-- Set value of counter to some_value.
14	do
15	item := some_value - 10
16	ensure then
17	checkval > 0
18	end
19
20	checkval: INTEGER is
21	-- Get value of counter
22	do
23	Result := item + 20
24	end
25	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 @@
1	class
2	COUNTER
3
4	feature -- Access
5
6	item: INTEGER
7	-- Counter's value.
8
9	feature -- Element change
10
11	set (some_value: INTEGER) is
12	-- Set value of counter to some_value.
13	do
14	item := some_value
15	ensure
16	checkval > 0
17	end
18
19	get: INTEGER is
20	-- Get value of counter
21	do
22	Result := item
23	end
24
25	checkval: INTEGER is
26	-- Get value of counter
27	do
28	Result := item
29	end
30	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 @@
1	<?xml version="1.0" encoding="ISO-8859-1"?>
2	<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">
3	<target name="nachbedingung">
4	<root feature="make" class="APPLICATION"/>
5	<option warning="true">
6	<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
7	</option>
8	<precompile name="base_pre" location="$ISE_PRECOMP/base.ecf"/>
9	<library name="base" location="$ISE_LIBRARY/library/base/base.ecf"/>
10	<cluster name="nachbedingung" location=".\" recursive="true">
11	<file_rule>
12	<exclude>/EIFGENs$</exclude>
13	<exclude>/.svn$</exclude>
14	<exclude>/CVS$</exclude>
15	</file_rule>
16	</cluster>
17	</target>
18	<target name="nachbedingung_dotnet" extends="nachbedingung">
19	<setting name="msil_generation" value="true"/>
20	</target>
21	</system>