regularaccount.java

国外的数据结构与算法分析用书

/**	A simple bank account class with an owner and a balance. */
public class RegularAccount
{
	protected String owner; // the owner's name
	protected float balance; // the current balance in the account

	/**	Initialize the bank account.
		PRECONDITION:
			nameExists: name != null
			nonNegativeAmount: openingAmount >= 0 
		POSTCONDITION:
			ownerSet: owner == name
			balanceSet: balance == openingAmount */
	public RegularAccount(String name, float openingAmount)
	{
		owner = name;
		balance = openingAmount;
	}

	/**	Withdraw amount from account.
		PRECONDITION:
			positiveAmount: amount >= 0
			enoughFunds: amount <= balance 
		POSTCONDITION:
			updatedBalance: balance == entry(balance) - amount */
	public void withdraw(float amount)
	{
		balance = balance - amount;
	}
}