ContractInvariantMethodAttribute Clase

Definición

Espacio de nombres:

System.Diagnostics.Contracts

Ensamblado:

System.Diagnostics.Contracts.dll

Marca un método como método invariable de una clase.

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

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

Public NotInheritable Class ContractInvariantMethodAttribute
Inherits Attribute

Herencia

Object

Attribute

ContractInvariantMethodAttribute

Atributos

AttributeUsageAttribute ConditionalAttribute

Comentarios

El método invariable puede tener cualquier nombre, pero debe devolver void y no tomar parámetros. Un nombre sugerido para el método es ObjectInvariant. El cuerpo del método invariable debe constar únicamente de una o varias llamadas al Contract.Invariant método . Un tipo puede tener más de un método invariable de contrato, que puede ser público o privado.

Constructores

ContractInvariantMethodAttribute()

Inicializa una nueva instancia de la clase ContractInvariantMethodAttribute.

Propiedades

TypeId

Cuando se implementa en una clase derivada, obtiene un identificador único para este Attribute. (Heredado de Attribute)

Métodos

Equals(Object)	Devuelve un valor que indica si esta instancia es igual que un objeto especificado. (Heredado de Attribute)
GetHashCode()	Devuelve el código hash de esta instancia. (Heredado de Attribute)
GetType()	Obtiene el Type de la instancia actual. (Heredado de Object)
IsDefaultAttribute()	Si se reemplaza en una clase derivada, indica si el valor de esta instancia es el valor predeterminado de la clase derivada. (Heredado de Attribute)
Match(Object)	Cuando se invalida en una clase derivada, devuelve un valor que indica si esta instancia es igual a un objeto especificado. (Heredado de Attribute)
MemberwiseClone()	Crea una copia superficial del Object actual. (Heredado de Object)
ToString()	Devuelve una cadena que representa el objeto actual. (Heredado de Object)