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)