Download Contract Wizard II - ETH E-Collection

inherit
SYSTEM_OBJECT
redefine
get_hash_code,
equals,
to_string
end
create
make
feature {NONE} -- Initialization
frozen make (a_initial_amount: INTEGER) is
-- dotnet_name: "Account..ctor (InitialAmount: Int32)"
do
create account_ref.make (a_initial_amount)
end
feature -- Access
frozen balance: INTEGER is
-- dotnet_name: "Account.Balance: Int32"
do
Result := account_ref.balance
end
frozen deposits: DEPOSIT_LIST is
-- dotnet_name: "Account.Deposits: DepositList"
do
Result := account_ref.deposits
end
frozen withdrawals: WITHDRAWAL_LIST is
-- dotnet_name: "Account.Withdrawals: WithdrawalList"
do
Result := account_ref.withdrawals
end
frozen minimum_balance: INTEGER is
-- dotnet_name: "Account.MinimumBalance: Int32"
do
Result := account_ref.minimum_balance
end
20