「事前条件」を編集中
ナビゲーションに移動
検索に移動
この編集を取り消せます。 下記の差分を確認して、本当に取り消していいか検証してください。よろしければ変更を保存して取り消しを完了してください。
最新版 | 編集中の文章 | ||
1行目: | 1行目: | ||
− | '''事前条件'''(じぜんじょうけん)とは、「[[契約による設計]]」における条件のひとつで、[[サブルーチン]] | + | '''事前条件'''(じぜんじょうけん)とは、「[[契約による設計]]」における条件のひとつで、[[サブルーチン]]の呼び出し時に、これを「呼ぶ側」が保証すべき性質(条件)のことである。 |
== 概要 == | == 概要 == |