System.Diagnostics.Contracts 名前空間

System.Diagnostics.Contracts 名前空間には、事前条件、事後条件、不変条件などのプログラム コントラクトを表すための静的クラスが含まれています。 The System.Diagnostics.Contracts namespace contains static classes for representing program contracts such as preconditions, postconditions, and invariants.

クラス

Contract

実行前の状態、実行後の状態、オブジェクトの不変部分などのプログラム コントラクトを表す静的メソッドを格納します。Contains static methods for representing program contracts such as preconditions, postconditions, and object invariants.

ContractAbbreviatorAttribute

完全なコントラクトの構文の代わりに使用できる省略を定義します。Defines abbreviations that you can use in place of the full contract syntax.

ContractArgumentValidatorAttribute

再利用できるように異なるメソッドへのレガシ if-then-throw コードのファクタリングを有効にし、スローされる例外と引数のフル コントロールを提供します。Enables the factoring of legacy if-then-throw code into separate methods for reuse, and provides full control over thrown exceptions and arguments.

ContractClassAttribute

別の型にこの型のコード コントラクトが含まれるように指定します。Specifies that a separate type contains the code contracts for this type.

ContractClassForAttribute

クラスが型のコントラクトであることを指定します。Specifies that a class is a contract for a type.

ContractFailedEventArgs

ContractFailed イベントのメソッドおよびデータを提供します。Provides methods and data for the ContractFailed event.

ContractInvariantMethodAttribute

クラスのインバリアント メソッドとしてメソッドをマークします。Marks a method as being the invariant method for a class.

ContractOptionAttribute

アセンブリ、型、またはメソッドの粒度でコントラクトおよびツールのオプションを設定できるようにします。Enables you to set contract and tool options at assembly, type, or method granularity.

ContractPublicPropertyNameAttribute

フィールドの可視性がメソッドよりも少ない場合、フィールドを メソッドのコントラクトで使用できることを指定します。Specifies that a field can be used in method contracts when the field has less visibility than the method.

ContractReferenceAssemblyAttribute

アセンブリがコントラクトを含む参照アセンブリであることを指定します。Specifies that an assembly is a reference assembly that contains contracts.

ContractRuntimeIgnoredAttribute

実行時に動作しないメンバーを識別します。Identifies a member that has no run-time behavior.

ContractVerificationAttribute

静的な検証を実行せずに、アセンブリ、型、またはメンバーが正確であると想定するよう分析ツールに指示します。Instructs analysis tools to assume the correctness of an assembly, type, or member without performing static verification.

PureAttribute

型またはメソッドが純粋なこと、つまり、表示状態を変更しないことを示します。Indicates that a type or method is pure, that is, it does not make any visible state changes.

列挙型

ContractFailureKind

失敗したコントラクトの型を指定します。Specifies the type of contract that failed.