本体条件

本体条件(body condition)は、戻り値を制約するための条件である。

本体条件を持つクラスのサブクラスのメソッド(操作の実装)は、本体条件の置換が許可されているため、事前条件と本体条件は区別される。

本体条件は、事前条件や事後条件と同様に自然言語やOCL、プログラミング言語で記述することができる。