From 800ec1793dc7bfece6a81de374c839d6c8acb6df Mon Sep 17 00:00:00 2001 From: manuel Date: Sat, 21 May 2011 15:28:39 +0200 Subject: add missing other classes --- bank-eiffel/account.e | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'bank-eiffel/account.e') diff --git a/bank-eiffel/account.e b/bank-eiffel/account.e index 578aec2..6c240de 100644 --- a/bank-eiffel/account.e +++ b/bank-eiffel/account.e @@ -12,6 +12,9 @@ inherit feature -- Access + transfer_minamount: REAL_32 assign set_transfer_minamount + -- Mindestbetrag für jede Einzahlung, Auszahlung und Überweisung + authorized_signers: SET [PERSON] assign set_authorized_signers -- Zeichnungsberechtigte attribute Result := ({like authorized_signers}).default end --| Remove line when Void Safety is properly set @@ -30,6 +33,16 @@ feature -- Access feature -- Element change + set_transfer_minamount (a_transfer_minamount: like transfer_minamount) + -- Assign `transfer_minamount' with `a_transfer_minamount'. + require + a_transfer_minamount_positive: a_transfer_minamount > 0.0 + do + transfer_minamount := a_transfer_minamount + ensure + transfer_minamount_assigned: transfer_minamount = a_transfer_minamount + end + set_authorized_signers (an_authorized_signers: like authorized_signers) -- Assign `authorized_signers' with `an_authorized_signers'. require @@ -72,4 +85,5 @@ invariant interest_debit_within_bounds: interest_debit >= 0.0 and interest_debit <= 1.0 interest_deposit_within_bounds: interest_deposit >= 0.0 and interest_deposit <= 1.0 authorized_signers_attached: authorized_signers /= Void + transfer_minamount_positive: transfer_minamount > 0.0 end -- cgit v1.2.3