事後条件
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/17 08:32 UTC 版)
※この「事後条件」の解説は、「ユースケース」の解説の一部です。
「事後条件」を含む「ユースケース」の記事については、「ユースケース」の概要を参照ください。
事後条件
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/28 09:17 UTC 版)
事後条件 (postcondition) は、メソッド正常終了時に保証されるべき条件の表明である。これはメソッド単位で表明される。正常終了とは、例外スロー終了やエラー発生終了ではないことを指す。具体的には以下になる。 メソッド開始時のサプライヤクラスのインスタンスの状態 メソッド正常終了時のサプライヤクラスのインスタンスの状態 クライアントに渡す返り値 事後条件を満たすことはサプライヤの義務になり、もし満たされた場合は事前に決められた状態遷移が果たされて、これはクライアントの利益になる。クライアントは事後条件への作業から解放される。
※この「事後条件」の解説は、「契約プログラミング」の解説の一部です。
「事後条件」を含む「契約プログラミング」の記事については、「契約プログラミング」の概要を参照ください。
- 事後条件のページへのリンク