この記事の英語版を表示するには、[英語] のチェック ボックスをオンにしてください。また、テキストにマウス ポインターを合わせると、ポップアップ ウィンドウに英語のテキストを表示することもできます。
翻訳
英語

System.Diagnostics.Contracts 名前空間

事前条件、事後条件、不変条件などのプログラム コントラクトを表すための静的クラスが含まれています。

  クラス 説明
パブリック クラス Contract 実行前の状態、実行後の状態、オブジェクトの不変部分などのプログラム コントラクトを表す静的メソッドを格納します。
パブリック クラス ContractClassAttribute この型のコード コントラクトが別の型に格納されていることを指定します。
パブリック クラス ContractClassForAttribute クラスが型のコントラクトであることを指定します。
パブリック クラス ContractInvariantMethodAttribute メソッドをクラスのインバリアントなメソッドとしてマークします。
パブリック クラス ContractPublicPropertyNameAttribute フィールドの可視性がメソッドよりも低い場合に、フィールドをメソッド コントラクトで使用できることを指定します。
パブリック クラス ContractReferenceAssemblyAttribute アセンブリがコントラクトを含む参照アセンブリであることを指定します。
パブリック クラス ContractRuntimeIgnoredAttribute 実行時の動作がないメンバーを識別します。
パブリック クラス ContractVerificationAttribute 静的な検証を実行せずにアセンブリ、型、およびメンバーの正確さを想定するよう分析ツールに指示します。
パブリック クラス PureAttribute 型またはメソッドが純粋、つまり、可視的な状態の変更が行われないことを示します。

  列挙体 説明
パブリック列挙体 ContractFailureKind 失敗したコントラクトの型を指定します。

コミュニティの追加

追加
表示: