ContractVerificationAttribute クラス

定義

名前空間:

System.Diagnostics.Contracts

アセンブリ:

System.Diagnostics.Contracts.dll

ソース:

Contracts.cs

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

public ref class ContractVerificationAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Constructor | System.AttributeTargets.Method | System.AttributeTargets.Property | System.AttributeTargets.Struct)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractVerificationAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Constructor | System.AttributeTargets.Method | System.AttributeTargets.Property | System.AttributeTargets.Struct)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type ContractVerificationAttribute = class
    inherit Attribute

Public NotInheritable Class ContractVerificationAttribute
Inherits Attribute

継承

Object

Attribute

ContractVerificationAttribute

属性

AttributeUsageAttribute ConditionalAttribute

注釈

アセンブリ、型、またはメンバーを検証を必要としないものとして明示的にマークするには、 を使用 ContractVerification(false) します。 見つかった最も具体的な要素 (メンバー、型、アセンブリ) が優先されます。 プロパティ、型、またはアセンブリにこの属性を適用すると、次の効果があります。

• プロパティに適用すると、アクセサーとアクセサーの get 両方に set 適用されます。

• 型に適用すると、入れ子になった型を含む型のすべてのメンバーに適用されます。

• アセンブリに適用すると、アセンブリのすべての型とメンバーに適用されます。

コンストラクター

ContractVerificationAttribute(Boolean)

ContractVerificationAttribute クラスの新しいインスタンスを初期化します。

プロパティ

TypeId	派生クラスで実装されると、この Attribute の一意の識別子を取得します。 (継承元 Attribute)
Value	ターゲットのコントラクトを検証するかどうかを示す値を取得します。

メソッド

Equals(Object)	このインスタンスが、指定されたオブジェクトと等価であるかどうかを示す値を返します。 (継承元 Attribute)
GetHashCode()	このインスタンスのハッシュ コードを返します。 (継承元 Attribute)
GetType()	現在のインスタンスの Type を取得します。 (継承元 Object)
IsDefaultAttribute()	派生クラスでオーバーライドされるとき、このインスタンスの値が派生クラスの既定値であるかどうかを示します。 (継承元 Attribute)
Match(Object)	派生クラス内でオーバーライドされたときに、指定したオブジェクトとこのインスタンスが等しいかどうかを示す値を返します。 (継承元 Attribute)
MemberwiseClone()	現在の Object の簡易コピーを作成します。 (継承元 Object)
ToString()	現在のオブジェクトを表す文字列を返します。 (継承元 Object)