MSDN Library
信息
您所需的主题如下所示。但此主题未包含在此库中。

ContractInvariantMethodAttribute 类

2013/12/13

将一个方法标记为某个类的固定方法。

System.Object
  System.Attribute
    System.Diagnostics.Contracts.ContractInvariantMethodAttribute

Namespace:  System.Diagnostics.Contracts
程序集:  mscorlib(位于 mscorlib.dll 中)

[AttributeUsageAttribute(AttributeTargets.Method, AllowMultiple = false, Inherited = false)]
[ConditionalAttribute("CONTRACTS_FULL")]
public sealed class ContractInvariantMethodAttribute : Attribute

ContractInvariantMethodAttribute 类型公开以下成员。

  名称说明
公共方法ContractInvariantMethodAttribute初始化 ContractInvariantMethodAttribute 类的新实例。
返回顶部

  名称说明
公共方法Equals基础结构。 返回一个值,该值指示此实例是否与指定的对象相等。 (从 Attribute 继承。)
受保护的方法Finalize允许 Object 在垃圾回收器回收该对象之前尝试释放资源并执行其他清理操作。 (从 Object 继承。)
公共方法GetHashCode返回此实例的哈希代码。 (从 Attribute 继承。)
公共方法GetType获取当前实例的 Type (从 Object 继承。)
公共方法Match当在派生类中重写时,返回一个指示此实例是否等于指定对象的值。 (从 Attribute 继承。)
受保护的方法MemberwiseClone创建当前 Object 的浅表副本。 (从 Object 继承。)
公共方法ToString返回一个字符串,它表示当前的对象。 (从 Object 继承。)
返回顶部

固定方法的名称可以是任意的,但它必须返回 void 并不带任何参数。方法的建议名称为 ObjectInvariant。固定方法的主体必须仅由一个或多个 Contract.Invariant 方法调用组成。类型可以有多个协定固定方法,可以是公共或私有。

Windows Phone OS

受以下版本支持: 8.0

此类型的所有公共 static(在 Visual Basic 中为 Shared) 成员都是线程安全的。但不保证所有实例成员都是线程安全的。

显示:
© 2016 Microsoft