ErasableChatHistory.java

/**
 * 擴充介面（interface extends interface）：
 * 在 ChatHistory 的所有要求之上，再多要求一個「清空」的能力。
 *
 * 任何 ErasableChatHistory 同時也是一個 ChatHistory（子型別關係）。
 */
public interface ErasableChatHistory extends ChatHistory {

    /** 刪除所有訊息。後置條件：size() == 0 */
    void erase();
}