System.Diagnostics.Contracts 名前空間

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

クラス

Contract

実行前の状態、実行後の状態、オブジェクトの不変部分などのプログラム コントラクトを表す静的メソッドを格納します。

ContractAbbreviatorAttribute

完全なコントラクトの構文の代わりに使用できる省略を定義します。

ContractArgumentValidatorAttribute

再利用できるように異なるメソッドへのレガシ if-then-throw コードのファクタリングを有効にし、スローされる例外と引数のフル コントロールを提供します。

ContractClassAttribute

別の型にこの型のコード コントラクトが含まれるように指定します。

ContractClassForAttribute

クラスが型のコントラクトであることを指定します。

ContractFailedEventArgs

ContractFailed イベントのメソッドおよびデータを提供します。

ContractInvariantMethodAttribute

クラスのインバリアント メソッドとしてメソッドをマークします。

ContractOptionAttribute

アセンブリ、型、またはメソッドの粒度でコントラクトおよびツールのオプションを設定できるようにします。

ContractPublicPropertyNameAttribute

フィールドの可視性がメソッドよりも少ない場合、フィールドを メソッドのコントラクトで使用できることを指定します。

ContractReferenceAssemblyAttribute

アセンブリがコントラクトを含む参照アセンブリであることを指定します。

ContractRuntimeIgnoredAttribute

実行時に動作しないメンバーを識別します。

ContractVerificationAttribute

静的な検証を実行せずに、アセンブリ、型、またはメンバーが正確であると想定するよう分析ツールに指示します。

PureAttribute

型またはメソッドが純粋なこと、つまり、表示状態を変更しないことを示します。

列挙型

ContractFailureKind

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