1 files changed, 30 insertions, 4 deletions

diff --git a/bank-eiffel/account.e b/bank-eiffel/account.e
index 3ef7a8b..0a7d202 100644
--- a/bank-eiffel/account.e
+++ b/bank-eiffel/account.e
@@ -20,6 +20,16 @@ create
 
 feature -- Access
 
+        creditline_range: ARRAY[REAL_64]
+                attribute Result := ({like creditline_range}).default end --| Remove line when Void Safety is properly set
+
+        interest_debit_range: ARRAY[REAL_64]
+                attribute Result := ({like interest_debit_range}).default end --| Remove line when Void Safety is properly set
+
+        interest_deposit_range: ARRAY[REAL_64]
+                        -- min/max for interest_deposit
+                attribute Result := ({like interest_deposit_range}).default end --| Remove line when Void Safety is properly set
+
         transfer_minamount: REAL_64 assign set_transfer_minamount
                         -- Mindestbetrag für jede Einzahlung, Auszahlung und Überweisung
 
@@ -41,12 +51,24 @@ feature -- Access
 
 feature {NONE} -- Initialization
 
-        make (an_authorized_signer: PERSON)
+        make (an_authorized_signer: PERSON;
+                  an_interest_deposit: REAL_64;
+                  an_interest_debit: REAL_64;
+                  a_credit_line: REAL_64;
+                  an_interest_deposit_range: ARRAY[REAL_64];
+                  an_interest_debit_range: ARRAY[REAL_64];
+                  a_credit_line_range: ARRAY[REAL_64])
                 do
                         create authorized_signers.make(1)
                         add_authorized_signer (an_authorized_signer)
                         transfer_minamount := 2
                         balance := 0
+                        creditline := a_credit_line
+                        interest_debit := an_interest_debit
+                        interest_deposit := an_interest_deposit
+                        interest_deposit_range := an_interest_deposit_range
+                        interest_debit_range := an_interest_debit_range
+                        creditline_range := a_credit_line_range
                 end
 
 feature -- Basic operations
@@ -137,8 +159,6 @@ feature {NONE} -- Implementation
 
         set_interest_debit (an_interest_debit: like interest_debit)
                         -- Assign `interest_debit' with `an_interest_debit'.
-                require
-                        an_interest_debit_within_bounds: an_interest_debit >= 0.0 and an_interest_debit <= 1.0
                 do
                         interest_debit := an_interest_debit
                 ensure
@@ -146,9 +166,15 @@ feature {NONE} -- Implementation
                 end
 
 invariant
-        interest_debit_within_bounds: interest_debit >= 0.0 and interest_debit <= 1.0
+        interest_debit_within_bounds:
+                interest_debit >= interest_debit_range.item (0) and
+                interest_debit <= interest_debit_range.item (1)
+        interest_deposit_within_bounds:
+                interest_deposit >= interest_deposit_range.item (0) and
+                interest_deposit <= interest_deposit_range.item (1)
         interest_deposit_within_bounds: interest_deposit >= 0.0 and interest_deposit <= 1.0
         authorized_signers_attached: authorized_signers /= Void
         authorized_signers_not_empty: authorized_signers.count > 0
         transfer_minamount_positive: transfer_minamount > 0.0
+        creditline_range_correct: creditline >= creditline_range.item (0) and creditline <= creditline_range.item (1)
 end