add missing other classes

1 files changed, 14 insertions, 0 deletions

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