summaryrefslogtreecommitdiffstats
path: root/bank-eiffel/account.e
diff options
context:
space:
mode:
Diffstat (limited to 'bank-eiffel/account.e')
-rw-r--r--bank-eiffel/account.e6
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)