依合約設計

前置條件：執行前必須滿足的條件
後置條件：執行後必須滿足的條件
違反前置，表示呼叫方有問題
違反後置，表示被呼叫方有問題

當拋出例外時，由合約來判讀要交由哪個元件處理
此即依合約設計