事前条件

プレコンディションとは何ですか?

前提条件は、アクションが呼び出されたときに真である必要がある条件の概要を示すステートメントまたはステートメントのセットです。前提条件ステートメントは、関数が呼び出される前に何が真でなければならないかを示します。

例:

数値の平方根を識別するための前提条件は、数値がゼロより大きくなければならないことです。前提条件を実行すると、数値の平方根がコンソールに表示されます。