Precondition of Design by Contract

如果在callee裡面要做precondition的話，我們可以使用org.apache.commons.lang3.Validate，在method一開始執行就進行arguments的驗證，並且丟出合理易懂的exception，避免method執行到很後面時才拋出不太容易理解的exception，也減少stack trace的複雜性有助於debug。