diff options
| -rw-r--r-- | bank-eiffel/account.e | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bank-eiffel/account.e b/bank-eiffel/account.e index 7555baa..6c81313 100644 --- a/bank-eiffel/account.e +++ b/bank-eiffel/account.e | |||
| @@ -43,7 +43,7 @@ feature -- Initialization | |||
| 43 | 43 | ||
| 44 | make (an_authorized_signer: PERSON) | 44 | make (an_authorized_signer: PERSON) |
| 45 | do | 45 | do |
| 46 | add_authorized_signers (an_authorized_signer) | 46 | add_authorized_signer (an_authorized_signer) |
| 47 | balance := 0 | 47 | balance := 0 |
| 48 | end | 48 | end |
| 49 | 49 | ||
| @@ -84,7 +84,7 @@ feature -- Element change | |||
| 84 | transfer_minamount_assigned: transfer_minamount = a_transfer_minamount | 84 | transfer_minamount_assigned: transfer_minamount = a_transfer_minamount |
| 85 | end | 85 | end |
| 86 | 86 | ||
| 87 | add_authorized_signers (an_authorized_signer: PERSON) | 87 | add_authorized_signer (an_authorized_signer: PERSON) |
| 88 | require | 88 | require |
| 89 | an_authorized_signer_attached: an_authorized_signer /= Void | 89 | an_authorized_signer_attached: an_authorized_signer /= Void |
| 90 | an_authorized_signer_notinlist: not authorized_signers.has (an_authorized_signer) | 90 | an_authorized_signer_notinlist: not authorized_signers.has (an_authorized_signer) |
| @@ -94,7 +94,7 @@ feature -- Element change | |||
| 94 | authorized_signers_assigned: authorized_signers.has (an_authorized_signer) | 94 | authorized_signers_assigned: authorized_signers.has (an_authorized_signer) |
| 95 | end | 95 | end |
| 96 | 96 | ||
| 97 | remove_authorized_signers (an_authorized_signer: PERSON) | 97 | remove_authorized_signer (an_authorized_signer: PERSON) |
| 98 | require | 98 | require |
| 99 | an_authorized_signer_attached: an_authorized_signer /= Void | 99 | an_authorized_signer_attached: an_authorized_signer /= Void |
| 100 | an_authorized_signer_inlist: authorized_signers.has (an_authorized_signer) | 100 | an_authorized_signer_inlist: authorized_signers.has (an_authorized_signer) |
