ソースコードの実装では、いわゆるDesign by contract（契約による設計）の考え方を取り入れて、処理の前には事前条件をassertで検査、処理の後も同様に結果を検証させるようにしている。値の範囲や文字列の長さ、nullポインタか否かという点などを片っ端か…