From 69fb9fab63b66884450444dfa04372f02c89e9da Mon Sep 17 00:00:00 2001 From: totycro Date: Sun, 26 Jun 2011 12:46:00 +0200 Subject: Added kovariante Eingangsparameter --- bank-eiffel/retireeaccount.e | 2 +- bank-eiffel/studentaccount.e | 2 +- bank-eiffel/tests/test_account.e | 1 + 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/bank-eiffel/retireeaccount.e b/bank-eiffel/retireeaccount.e index 24ae004..df7bdf1 100644 --- a/bank-eiffel/retireeaccount.e +++ b/bank-eiffel/retireeaccount.e @@ -13,7 +13,7 @@ create feature -- Basic operations - add_authorized_signer (an_authorized_signer: PERSON) + add_authorized_signer (an_authorized_signer: RETIREE) do check authorized_signers_only_one: get_authorized_signers.count = 0 diff --git a/bank-eiffel/studentaccount.e b/bank-eiffel/studentaccount.e index abbb070..8367489 100644 --- a/bank-eiffel/studentaccount.e +++ b/bank-eiffel/studentaccount.e @@ -13,7 +13,7 @@ create feature -- Basic operations - add_authorized_signer (an_authorized_signer: PERSON) + add_authorized_signer (an_authorized_signer: STUDENT) do check authorized_signers_only_one: get_authorized_signers.count = 0 diff --git a/bank-eiffel/tests/test_account.e b/bank-eiffel/tests/test_account.e index 0b6ac46..02d22a9 100644 --- a/bank-eiffel/tests/test_account.e +++ b/bank-eiffel/tests/test_account.e @@ -243,6 +243,7 @@ feature -- Test routines assert("RETIREEACCOUNT_ONE_RETIREE_ONLY_3", False) else end + rescue if not (create {EXCEPTIONS}).is_developer_exception then retry_count := retry_count + 1 -- cgit v1.2.3