ContractInvariantMethodAttribute 類別

定義

標記方法為類別的非變異方法。Marks a method as being the invariant method for a class.

public ref class ContractInvariantMethodAttribute sealed : Attribute
[System.AttributeUsage(System.AttributeTargets.Method, AllowMultiple=false, Inherited=false)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractInvariantMethodAttribute : Attribute
public sealed class ContractInvariantMethodAttribute : Attribute
type ContractInvariantMethodAttribute = class
    inherit Attribute
Public NotInheritable Class ContractInvariantMethodAttribute
Inherits Attribute
繼承
ContractInvariantMethodAttribute
屬性

備註

不變的方法可以有任何名稱,但它必須傳回 void 而且不接受任何參數。The invariant method can have any name, but it must return void and take no parameters. 方法的建議名稱為 ObjectInvariantA suggested name for the method is ObjectInvariant. 不變方法的主體必須只包含一或多個 Contract.Invariant 方法的呼叫。The body of the invariant method must consist solely of one or more calls to the Contract.Invariant method. 類型可以有一個以上的合約不變方法,可以是公用或私用。A type can have more than one contract invariant method, which can be public or private.

建構函式

ContractInvariantMethodAttribute()

初始化 ContractInvariantMethodAttribute 類別的新執行個體。Initializes a new instance of the ContractInvariantMethodAttribute class.

屬性

TypeId

在衍生類別中實作時,取得這個 Attribute 的唯一識別碼。When implemented in a derived class, gets a unique identifier for this Attribute.

(繼承來源 Attribute)

方法

Equals(Object)

傳回值,這個值指出此執行個體是否與指定的物件相等。Returns a value that indicates whether this instance is equal to a specified object.

(繼承來源 Attribute)
GetHashCode()

傳回這個執行個體的雜湊碼。Returns the hash code for this instance.

(繼承來源 Attribute)
GetType()

取得目前執行個體的 TypeGets the Type of the current instance.

(繼承來源 Object)
IsDefaultAttribute()

在衍生類別中覆寫時,表示這個執行個體的值是衍生類別的預設值。When overridden in a derived class, indicates whether the value of this instance is the default value for the derived class.

(繼承來源 Attribute)
Match(Object)

在衍生類別中覆寫時,會傳回值,表示這個執行個體是否等於指定物件。When overridden in a derived class, returns a value that indicates whether this instance equals a specified object.

(繼承來源 Attribute)
MemberwiseClone()

建立目前 Object 的淺層複製。Creates a shallow copy of the current Object.

(繼承來源 Object)
ToString()

傳回代表目前物件的字串。Returns a string that represents the current object.

(繼承來源 Object)

明確介面實作

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

將一組名稱對應至一組對應的分派識別項 (Dispatch Identifier)。Maps a set of names to a corresponding set of dispatch identifiers.

(繼承來源 Attribute)
_Attribute.GetTypeInfo(UInt32, UInt32, IntPtr)

擷取物件的類型資訊,可以用來取得介面的類型資訊。Retrieves the type information for an object, which can be used to get the type information for an interface.

(繼承來源 Attribute)
_Attribute.GetTypeInfoCount(UInt32)

擷取物件提供的類型資訊介面數目 (0 或 1)。Retrieves the number of type information interfaces that an object provides (either 0 or 1).

(繼承來源 Attribute)
_Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr)

提供物件所公開的屬性和方法的存取權。Provides access to properties and methods exposed by an object.

(繼承來源 Attribute)

適用於