summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authormanuel <manuel@mausz.at>2011-05-22 14:07:54 +0200
committermanuel <manuel@mausz.at>2011-05-22 14:07:54 +0200
commitc4fbebf96418f14fd5b9f407f6a63c925b8f41a3 (patch)
treeb5e74bcf63c678a96cbd11a8041d0492372c9b50
parenta47510de141d3a9ec11aebfb2de1c6002c595774 (diff)
downloadfoop-c4fbebf96418f14fd5b9f407f6a63c925b8f41a3.tar.gz
foop-c4fbebf96418f14fd5b9f407f6a63c925b8f41a3.tar.bz2
foop-c4fbebf96418f14fd5b9f407f6a63c925b8f41a3.zip
fix function name
-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)