不変条件

主には、他になにが起こっても真でありつづける条件のこと

常に整合性をたもつべきビジネスルール

業務モデルにおいての制約を指す場面も多い

1つの注文には必ず少なくとも1つの明細が存在しなければならない

口座の残高は0より小さくなってはいけない

契約プログラミングにおける事前条件、事後条件、不変条件などの言葉もある

メソッド引数でチェックする

メソッド実行後の変更をチェックする