| Class | Description |
|---|---|
| Account |
Abstract superclass of all representatives of accounts, i.e.
|
| AccountStatementRequest |
Class for representing the transaction of requesting a printed account
statement.
|
| ATM |
Class whose objects represent the automated teller machines of our bank.
|
| BankCard |
Class for representing bank cards.
|
| CentralHost |
Class that represents the central host of our bank.
|
| Clock |
Singleton class for representing an assumed system-wide clock (for simplicity
we suppose that both the central host and all ATMs are running on the same
clock).
|
| OfflineAccountProxy |
Class for representing accounts in an ATM that is switched offline.
|
| PermanentAccount |
Permanent representation of information about an account.
|
| Transaction |
Abstract class for representing transactions.
|
| TransactionList |
Simple implementation of a list datatype for transactions.
|
| TransactionListCons |
Class for representing non-empty lists of transactions.
|
| TransactionListNIL |
Singleton class for empty lists of transactions
|
| Withdrawal |
Class for representing the transaction kind withdrawal, i.e.
|