ContractOptionAttribute 类

定义

命名空间:

System.Diagnostics.Contracts

程序集:

System.Diagnostics.Contracts.dll

可以在程序集、类型或方法粒度方面设置协定和工具选项。

public ref class ContractOptionAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.All, AllowMultiple=true, Inherited=false)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractOptionAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.All, AllowMultiple=true, Inherited=false)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type ContractOptionAttribute = class
    inherit Attribute

Public NotInheritable Class ContractOptionAttribute
Inherits Attribute

继承

Object

Attribute

ContractOptionAttribute

属性

AttributeUsageAttribute ConditionalAttribute

注解

下表显示当前支持的选项。

类别	设置	值/效果
contract	继承	如果打开协定继承，则为 true；如果关闭协定集成，则为 false。 默认值为 true。
Runtime — 运行时	检查	true 打开运行时检查; false 将其关闭。 默认值为 true。

您可使用此特性，如以下示例所示。

关闭对整个程序集的运行时检查：

[assembly:ContractOption("runtime", "checking", false)]  

打开对特定类型的运行时协定检查：

[ContractOption("runtime", "checking", true)]  
class TypeWithRuntimeChecking {  

    ...  

打开对特定方法的运行时检查：

// Turn off all contract inheritance from interface IList<T>  
[ContractOption("contract", "inheritance", false)]  
class MyConcurrentList<T> : IList<T> {  
   ...  
}  

[ContractOption("runtime", "checking", false)]  
public override MyMethod(int x) {  
   // no inherited contracts checked at runtime,  
   // no invariants checked at runtime.  
   ...  
}  

       [ContractOption("runtime", "checking", false)]  
       public void MethodWithoutRuntimeChecking(...) {  
          ...  
       }  
   }  

构造函数

ContractOptionAttribute(String, String, Boolean)	使用提供的类别，设置和可用或禁用值初始化 ContractOptionAttribute 类的新实例。
ContractOptionAttribute(String, String, String)	使用提供的类别，设置和可用或禁用值初始化 ContractOptionAttribute 类的新实例。

属性

Category	获取选项的类别。
Enabled	确定选项是否启用。
Setting	获得选项的设置。
TypeId	在派生类中实现时，获取此 Attribute 的唯一标识符。 (继承自 Attribute)
Value	获取选项的值。

方法

Equals(Object)	返回一个值，该值指示此实例是否与指定的对象相等。 (继承自 Attribute)
GetHashCode()	返回此实例的哈希代码。 (继承自 Attribute)
GetType()	获取当前实例的 Type。 (继承自 Object)
IsDefaultAttribute()	在派生类中重写时，指示此实例的值是否是派生类的默认值。 (继承自 Attribute)
Match(Object)	当在派生类中重写时，返回一个指示此实例是否等于指定对象的值。 (继承自 Attribute)
MemberwiseClone()	创建当前 Object 的浅表副本。 (继承自 Object)
ToString()	返回表示当前对象的字符串。 (继承自 Object)