事前条件
契約プログラミング
の用語
サブルーチンの開始時に、これを呼ぶ側で保証すべき性質
事後条件
と異なり、その関数の利用者側に要請される性質