契約プログラミング
設計パターンのひとつ．
事前条件
関数の開始時に，呼び出し側が保証するべき条件．
コンストラクタによるバリデーション．
事後条件
関数の終了時に保証すべき条件．
処理の後returnする値に対するバリデーション．
不変条件
そのオブジェクトが常に満たすべき条件．
オブジェクトが異常な状態にならないことをチェックする．