コード コントラクトには、事前条件、事後条件、およびオブジェクト不変条件を .NET Framework コードで指定する方法が用意されています。 事前条件とは、メソッドやプロパティに入るときに満たされている必要がある要件です。 事後条件は、メソッドやプロパティのコードが終了するときの予測を表します。 オブジェクト不変条件は、正しい状態のクラスに対して予期される状態を表します。 コード コントラクトには、コードをマーク付けするためのクラス、コンパイル時の分析のための静的アナライザー、およびランタイム アナライザーが含まれます。 コード コントラクトのクラスは System.Diagnostics.Contracts 名前空間にあります。 コード コントラクトには次のような利点があります。 テストの強化: コード コントラクトでは、コントラクトの静的検証、ランタイム チェック、およびドキュメ