ContractVerificationAttribute 类

定义

指示分析工具假定程序集、类型或成员的正确性,而不执行静态验证。

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
继承
ContractVerificationAttribute
属性

注解

使用 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)

显式接口实现

_Attribute.GetIDsOfNames(Guid, IntPtr, UInt32, UInt32, IntPtr)

将一组名称映射为对应的一组调度标识符。

(继承自 Attribute)
_Attribute.GetTypeInfo(UInt32, UInt32, IntPtr)

检索对象的类型信息,然后可以使用该信息获取接口的类型信息。

(继承自 Attribute)
_Attribute.GetTypeInfoCount(UInt32)

检索对象提供的类型信息接口的数量(0 或 1)。

(继承自 Attribute)
_Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr)

提供对某一对象公开的属性和方法的访问。

(继承自 Attribute)

适用于