ContractAbbreviatorAttribute 类
定义
重要
一些信息与预发行产品相关，相应产品在发行之前可能会进行重大修改。 对于此处提供的信息，Microsoft 不作任何明示或暗示的担保。
定义您可用于替代完整协定语法的缩写。
public ref class ContractAbbreviatorAttribute sealed : Attribute[System.AttributeUsage(System.AttributeTargets.Method, AllowMultiple=false)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractAbbreviatorAttribute : Attribute[<System.AttributeUsage(System.AttributeTargets.Method, AllowMultiple=false)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type ContractAbbreviatorAttribute = class
inherit AttributePublic NotInheritable Class ContractAbbreviatorAttribute
Inherits Attribute- 继承
- 属性
示例
下面的示例演示如何创建在多个方法中重复的代码协定的缩写名称。
using System.Diagnostics.Contracts;
public class MyClass
{
public int State { get; }
public int Data { get; }
[ ContractAbbreviator ]
private void DataAndStateUnchanged()
{
Contract.Ensures( this .State == Contract.OldValue(this.State));
Contract.Ensures( this .Data == Contract.OldValue(this.Data));
}
[ ContractAbbreviator ]
private void InStateZeroAndUnchanged()
{
Contract.Requires( this.State == 0);
DataAndStateUnchanged();
}
public void Method1(...)
{
InStateZeroAndUnchanged();
...
}
public void Method2(...)
{
InStateZeroAndUnchanged();
...
}
public void Method3(...)
{
Contract.Requires(this .State == 1);
DataAndStateUnchanged();
}
}
构造函数
| ContractAbbreviatorAttribute() |
初始化 ContractAbbreviatorAttribute 类的新实例。 |
属性
| TypeId |
在派生类中实现时，获取此 Attribute 的唯一标识符。 (继承自 Attribute) |
方法
| 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) |
