Java Reference
In-Depth Information
{
/**
Constructs an ATM for a given bank.
@param aBank
the bank to which this ATM connects
*/
public ATM(Bank aBank) { }
/**
Sets the current customer number
and sets state to PIN.
(Precondition: state is START)
@param number
the customer number
*/
public void setCustomerNumber(int number) { }
/**
Finds customer in bank.
If found sets state to ACCOUNT, else to START.
(Precondition: state is PIN)
@param pin
the PIN of the current customer
*/
public void selectCustomer(int pin) { }
/**
Sets current account to checking or savings. Sets
state to TRANSACT.
(Precondition: state is ACCOUNT or TRANSACT)
@param account
one of CHECKING or SAVINGS
*/
public void selectAccount(int account) { }
/**
Withdraws amount from current account.
(Precondition: state is TRANSACT)
@param value
the amount to withdraw
*/
public void withdraw(double value) { }
. . .
}
562
563
Then run the
javadoc
utility to turn this documentation into HTML format.
For conciseness, we omit the documentation of the other classes.
