System.Diagnostics.Contracts 名前空間

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

クラス

Contract	実行前の状態、実行後の状態、オブジェクトの不変部分などのプログラム コントラクトを表す静的メソッドを格納します。
ContractAbbreviatorAttribute	完全なコントラクトの構文の代わりに使用できる省略を定義します。
ContractArgumentValidatorAttribute	再利用できるように異なるメソッドへのレガシ if-then-throw コードのファクタリングを有効にし、スローされる例外と引数のフル コントロールを提供します。
ContractClassAttribute	別の型にこの型のコード コントラクトが含まれるように指定します。
ContractClassForAttribute	クラスが型のコントラクトであることを指定します。
ContractFailedEventArgs	ContractFailed イベントのメソッドおよびデータを提供します。
ContractInvariantMethodAttribute	クラスのインバリアント メソッドとしてメソッドをマークします。
ContractOptionAttribute	アセンブリ、型、またはメソッドの粒度でコントラクトおよびツールのオプションを設定できるようにします。
ContractPublicPropertyNameAttribute	フィールドの可視性がメソッドよりも少ない場合、フィールドを メソッドのコントラクトで使用できることを指定します。
ContractReferenceAssemblyAttribute	アセンブリがコントラクトを含む参照アセンブリであることを指定します。
ContractRuntimeIgnoredAttribute	実行時に動作しないメンバーを識別します。
ContractVerificationAttribute	静的な検証を実行せずに、アセンブリ、型、またはメンバーが正確であると想定するよう分析ツールに指示します。
PureAttribute	型またはメソッドが純粋なこと、つまり、表示状態を変更しないことを示します。

列挙型

ContractFailureKind

失敗したコントラクトの型を指定します。