事前条件

事前条件(precondition)は、操作を呼び出す前に満たされているべき条件である。

事前条件として指定された条件を、操作の実行開始時にチェックする必要性はない。つまり、事前条件が満たされていない状態では操作の呼び出しは発生しない。

また、事前条件は開発者が自分の実装の呼び出し時に何を期待するかを明確に表現する手段であり、「文書による言い訳」を残せる数少ないチャンスでもある。