diff options
Diffstat (limited to 'bank-eiffel')
| -rw-r--r-- | bank-eiffel/retireeaccount.e | 2 | ||||
| -rw-r--r-- | bank-eiffel/studentaccount.e | 2 | ||||
| -rw-r--r-- | 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 | |||
| 13 | 13 | ||
| 14 | feature -- Basic operations | 14 | feature -- Basic operations |
| 15 | 15 | ||
| 16 | add_authorized_signer (an_authorized_signer: PERSON) | 16 | add_authorized_signer (an_authorized_signer: RETIREE) |
| 17 | do | 17 | do |
| 18 | check | 18 | check |
| 19 | authorized_signers_only_one: get_authorized_signers.count = 0 | 19 | 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 | |||
| 13 | 13 | ||
| 14 | feature -- Basic operations | 14 | feature -- Basic operations |
| 15 | 15 | ||
| 16 | add_authorized_signer (an_authorized_signer: PERSON) | 16 | add_authorized_signer (an_authorized_signer: STUDENT) |
| 17 | do | 17 | do |
| 18 | check | 18 | check |
| 19 | authorized_signers_only_one: get_authorized_signers.count = 0 | 19 | 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 | |||
| 243 | assert("RETIREEACCOUNT_ONE_RETIREE_ONLY_3", False) | 243 | assert("RETIREEACCOUNT_ONE_RETIREE_ONLY_3", False) |
| 244 | else | 244 | else |
| 245 | end | 245 | end |
| 246 | |||
| 246 | rescue | 247 | rescue |
| 247 | if not (create {EXCEPTIONS}).is_developer_exception then | 248 | if not (create {EXCEPTIONS}).is_developer_exception then |
| 248 | retry_count := retry_count + 1 | 249 | retry_count := retry_count + 1 |
