差分

'''事前条件'''（じぜんじょうけん）とは、「[[契約による設計]]」における条件のひとつで、[[サブルーチン]]の呼び出し時に、これを「呼ぶ側」が保証すべき性質（条件）のことである。の呼び出し時に、これを「呼び出す側」が保証すべき性質（条件）のことである。