bank

Class PermanentAccount

java.lang.Object

bank.Account

bank.PermanentAccount

public class PermanentAccount
extends Account

Permanent representation of information about an account. Non-essential information like the customer to which an account belongs is not modelled here. The class implements a daily limit of 1000 somethings (which can only be enforced if employed ATMs are online, however) and one free account statement a month. It is possible that the balance of represented accounts is negative, which cannot be sidestepped because the possibility of offline withdrawals is mandatory

Field Summary

Fields inherited from class bank.Account

accountNumber, transactions

Constructor Summary

Constructors

Constructor and Description
PermanentAccount(int accountNumber, int balance)

Method Summary

Methods

Modifier and Type	Method and Description
int	accountBalance()
boolean	balanceIsAccessible()
boolean	newWithdrawalIsPossible(int amount) Determine whether a certain amount of money may be withdrawn.
void	requestStatement() Request a printed account statement.
void	sendAccountStatement() Simulate the sending of an account statement ...
java.lang.String	toString()
void	withdraw(int amount) Withdraw amount from the account TODO: should the premiss "clock.isEarlier(clock.instance.currentDate, dateOfLatestWithdrawal)" rather be made some kind of invariant?

Methods inherited from class bank.Account

addTransaction, checkAndWithdraw, flushTransactions, getAccountNumber, getTransactions, transactionListToString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PermanentAccount

public PermanentAccount(int accountNumber,
                int balance)

Method Detail

withdraw

public void withdraw(int amount)

Withdraw amount from the account TODO: should the premiss "clock.isEarlier(clock.instance.currentDate, dateOfLatestWithdrawal)" rather be made some kind of invariant?

Specified by:

withdraw in class Account

Parameters:

amount - the amount to be withdrawn

requestStatement

public void requestStatement()

Request a printed account statement. This request may fail at a late point if the account is offline, in this case nothing happens (the customer does not receive anything). For this reason the method does not have any preconditions

Specified by:

requestStatement in class Account

balanceIsAccessible

public boolean balanceIsAccessible()

Specified by:

balanceIsAccessible in class Account

Returns:

true iff the balance of this account can be determined (not possible for the offline situation)

accountBalance

public int accountBalance()

Specified by:

accountBalance in class Account

Returns:

the balance of this account

newWithdrawalIsPossible

public boolean newWithdrawalIsPossible(int amount)

Determine whether a certain amount of money may be withdrawn. Using method PermanentAccount.withdraw(int,int) it is possible to circumvent this check, which is necessary because for offline withdrawals the balance cannot be accessed and checked

Specified by:

newWithdrawalIsPossible in class Account

Parameters:

amount - the amount of money requested

Returns:

true iff amount can be withdrawn from the account

sendAccountStatement

public void sendAccountStatement()

Simulate the sending of an account statement ...

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object