1 files changed, 48 insertions, 0 deletions

diff --git a/bank-eiffel/bank_store.e b/bank-eiffel/bank_store.e
new file mode 100644
index 0000000..acc6f3a
--- /dev/null
+++ b/bank-eiffel/bank_store.e
@@ -0,0 +1,48 @@
+class
+        BANK_STORE
+
+inherit
+        STORABLE
+
+create
+        make
+
+feature
+
+        persons: ARRAYED_SET [PERSON]
+
+        accounts: ARRAYED_SET [ACCOUNT]
+
+        ranges: TUPLE [
+                account: attached like account_range;
+                studentaccount: attached like account_range;
+                retireeaccount: attached like account_range
+                ]
+
+feature {NONE} -- Implementation
+
+        account_range: detachable TUPLE [
+                creditline: attached like range;
+                interest_deposit: attached like range;
+                interest_debit: attached like range
+                ]
+
+        range: detachable like {ACCOUNT}.range
+
+feature {NONE} -- Initialization
+
+        make(cap: INTEGER)
+                do
+                        create persons.make(cap)
+                        create accounts.make(cap)
+                        create ranges
+                        ranges.account := new_range
+                        ranges.studentaccount := new_range
+                        ranges.retireeaccount := new_range
+                end
+
+        new_range: attached like account_range
+                do
+                        create Result
+                end
+end