ContractVerificationAttribute Clase

Definición

Espacio de nombres:

System.Diagnostics.Contracts

Ensamblado:

System.Diagnostics.Contracts.dll

Source:

Contracts.cs

Indica a las herramientas de análisis que asuman la exactitud de un ensamblado, un tipo o un miembro sin realizar la comprobación estática.

public ref class ContractVerificationAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Constructor | System.AttributeTargets.Method | System.AttributeTargets.Property | System.AttributeTargets.Struct)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractVerificationAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Constructor | System.AttributeTargets.Method | System.AttributeTargets.Property | System.AttributeTargets.Struct)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type ContractVerificationAttribute = class
    inherit Attribute

Public NotInheritable Class ContractVerificationAttribute
Inherits Attribute

Herencia

Object

Attribute

ContractVerificationAttribute

Atributos

AttributeUsageAttribute ConditionalAttribute

Comentarios

Use ContractVerification(false) para marcar explícitamente un ensamblado, un tipo o un miembro, ya que no requiere verificación. El elemento más específico encontrado (miembro, tipo y ensamblado) tiene prioridad. La aplicación de este atributo a una propiedad, un tipo o un ensamblado tiene los siguientes efectos:

• Cuando se aplica a una propiedad, se aplica tanto al get descriptor de acceso como al descriptor de set acceso.

• Cuando se aplica a un tipo, se aplica a todos los miembros del tipo, incluidos los tipos anidados.

• Cuando se aplica a un ensamblado, se aplica a todos los tipos y miembros del ensamblado.

Constructores

ContractVerificationAttribute(Boolean)

Inicializa una nueva instancia de la clase ContractVerificationAttribute.

Propiedades

TypeId	Cuando se implementa en una clase derivada, obtiene un identificador único para este Attribute. (Heredado de Attribute)
Value	Obtiene el valor que indica si se va a comprobar el contrato del destino.

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)