System.Diagnostics.Contracts
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/05/08 19:35 UTC 版)
「基本クラスライブラリ」の記事における「System.Diagnostics.Contracts」の解説
事前条件や事後条件、そして普遍条件といったプログラム契約を表すための静的クラスを含む。
※この「System.Diagnostics.Contracts」の解説は、「基本クラスライブラリ」の解説の一部です。
「System.Diagnostics.Contracts」を含む「基本クラスライブラリ」の記事については、「基本クラスライブラリ」の概要を参照ください。
- System.Diagnostics.Contractsのページへのリンク