ContractOptionAttribute 类
定义
重要
一些信息与预发行产品相关，相应产品在发行之前可能会进行重大修改。 对于此处提供的信息，Microsoft 不作任何明示或暗示的担保。
可以在程序集、类型或方法粒度方面设置协定和工具选项。
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 AttributePublic NotInheritable Class ContractOptionAttribute
Inherits Attribute- 继承
- 属性
注解
下表显示当前支持的选项。
| 类别 | 设置 | 值/效果 |
|---|---|---|
| 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) |
显式接口实现
| _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) |
