1 files changed, 11 insertions, 11 deletions
diff --git a/bank-eiffel/bank.e b/bank-eiffel/bank.e
index 67ee067..4c48e48 100644
--- a/bank-eiffel/bank.e
+++ b/bank-eiffel/bank.e
@@ -55,26 +55,26 @@ feature -- Basic operations
        fail_kovariant
                local
-                        r1: RETIREE
+                        retiree: RETIREE
-                        s1: STUDENT
+                        student: STUDENT
-                        stdAcc1: STUDENTACCOUNT
+                        studentaccount: STUDENTACCOUNT
-                        acc1: ACCOUNT
+                        account: ACCOUNT
                do
                        -- studi account mit normalen studi erstellen
-                        create r1.make("a", "b")
+                        create retiree.make("a", "b")
-                        create s1.make("a", "b")
+                        create student.make("a", "b")
-                        create stdAcc1.make (s1, 0.01, 0.02, -50.0, [0.01, 0.022], [0.01, 0.02], [-100.0, -50.0])
+                        create studentaccount.make (student, 0.01, 0.02, -50.0, [0.01, 0.022], [0.01, 0.02], [-100.0, -50.0])
-                        acc1 := stdAcc1 -- upcast, acc1 erwartet PERSON
+                        account := studentaccount -- upcast, account erwartet PERSON
-                        -- kompiler akzeptiert das folgende, weil PERSON erwartet wird
+                        -- compiler akzeptiert das folgende, weil PERSON erwartet wird
                        -- eigtl ist es eben ein studi acc, der RETIREES nicht akzeptiert, also laufzeitfehler
-                        acc1.add_authorized_signer (r1)
+                        account.add_authorized_signer (retiree)
                end
        session
                do
                        -- das auskommentieren, dann bekommt ihr eine exception wegen kovariant (das ist ein methodenaufruf):
-                        --fail_kovariant
+                        fail_kovariant
                        from
                        until
                                over

diff --git a/bank-eiffel/bank.e b/bank-eiffel/bank.e index 67ee067..4c48e48 100644 --- a/bank-eiffel/bank.e +++ b/bank-eiffel/bank.e
@@ -55,26 +55,26 @@ feature -- Basic operations
55		55
56	fail_kovariant	56	fail_kovariant
57	local	57	local
58	r1: RETIREE	58	retiree: RETIREE
59	s1: STUDENT	59	student: STUDENT
60	stdAcc1: STUDENTACCOUNT	60	studentaccount: STUDENTACCOUNT
61	acc1: ACCOUNT	61	account: ACCOUNT
62		62
63	do	63	do
64	-- studi account mit normalen studi erstellen	64	-- studi account mit normalen studi erstellen
65	create r1.make("a", "b")	65	create retiree.make("a", "b")
66	create s1.make("a", "b")	66	create student.make("a", "b")
67	create stdAcc1.make (s1, 0.01, 0.02, -50.0, [0.01, 0.022], [0.01, 0.02], [-100.0, -50.0])	67	create studentaccount.make (student, 0.01, 0.02, -50.0, [0.01, 0.022], [0.01, 0.02], [-100.0, -50.0])
68	acc1 := stdAcc1 -- upcast, acc1 erwartet PERSON	68	account := studentaccount -- upcast, account erwartet PERSON
69	-- kompiler akzeptiert das folgende, weil PERSON erwartet wird	69	-- compiler akzeptiert das folgende, weil PERSON erwartet wird
70	-- eigtl ist es eben ein studi acc, der RETIREES nicht akzeptiert, also laufzeitfehler	70	-- eigtl ist es eben ein studi acc, der RETIREES nicht akzeptiert, also laufzeitfehler
71	acc1.add_authorized_signer (r1)	71	account.add_authorized_signer (retiree)
72	end	72	end
73		73
74	session	74	session
75	do	75	do
76	-- das auskommentieren, dann bekommt ihr eine exception wegen kovariant (das ist ein methodenaufruf):	76	-- das auskommentieren, dann bekommt ihr eine exception wegen kovariant (das ist ein methodenaufruf):
77	--fail_kovariant	77	fail_kovariant
78	from	78	from
79	until	79	until
80	over	80	over