note description: "Summary description for {BANK}." author: "" date: "$Date$" revision: "$Revision$" class BANK create make feature {NONE} -- Implementation customers: ARRAYED_SET [PERSON] -- Kunden accounts: ARRAYED_SET [ACCOUNT] -- Vorname feature {NONE} -- Initialization make do create customers.make(100) create accounts.make(100) end feature -- Basic operations get_customers: FINITE [PERSON] do Result := customers end get_accounts: FINITE [ACCOUNT] do Result := accounts end end