Account.java

/**
 * 帳戶介面（interface）：只描述「能做什麼」（契約），完全不描述「怎麼做」。
 *
 * 任何 implements Account 的類別都必須提供這三個方法，
 * 而使用 Account 的程式碼只需要認識這份契約即可。
 */
public interface Account {

    /**
     * 存入 amount。
     * @param amount 前置條件：amount >= 0
     */
    void deposit(int amount);

    /**
     * 提出 amount。
     * @param amount 前置條件：0 <= amount <= getBalance()
     */
    void withdraw(int amount);

    /**
     * @return 目前餘額，後置條件：回傳值 >= 0
     */
    int getBalance();
}