不変条件
処理の前後で必ず成り立っていなければならない、状態に関する約束のこと。
この概念が関わる関係
この概念を扱う記事
- 想定外例外で終了すべきか継続すべきかの判断表(主要トピック)
一次資料
このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。
処理の前後で必ず成り立っていなければならない、状態に関する約束のこと。
このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。