ContractOptionAttribute Clase

Definición

Espacio de nombres:

System.Diagnostics.Contracts

Ensamblado:

System.Diagnostics.Contracts.dll

Source:

Contracts.cs

Permite establecer opciones de contrato y herramienta en el ensamblado, tipo o granularidad del método.

public ref class ContractOptionAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.All, AllowMultiple=true, Inherited=false)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractOptionAttribute : Attribute

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

Public NotInheritable Class ContractOptionAttribute
Inherits Attribute

Herencia

Object

Attribute

ContractOptionAttribute

Atributos

AttributeUsageAttribute ConditionalAttribute

Comentarios

En la tabla siguiente se muestran las opciones admitidas actualmente.

Category	Parámetro	Valor/efecto
contrato	herencia	true para activar la herencia del contrato; false para desactivarlo. De manera predeterminada, es true.
motor en tiempo de ejecución	comprobar	true para activar la comprobación en tiempo de ejecución; false para desactivarlo. De manera predeterminada, es true.

Puede usar este atributo como se muestra en los ejemplos siguientes.

Para desactivar la comprobación en tiempo de ejecución de todo el ensamblado:

[assembly:ContractOption("runtime", "checking", false)]  

Para activar la comprobación del contrato en tiempo de ejecución para un tipo específico:

[ContractOption("runtime", "checking", true)]  
class TypeWithRuntimeChecking {  

    ...  

Para desactivar la comprobación en tiempo de ejecución de un método específico:

// Turn off all contract inheritance from interface IList<T>  
[ContractOption("contract", "inheritance", false)]  
class MyConcurrentList<T> : IList<T> {  
   ...  
}  

[ContractOption("runtime", "checking", false)]  
public override MyMethod(int x) {  
   // no inherited contracts checked at runtime,  
   // no invariants checked at runtime.  
   ...  
}  

       [ContractOption("runtime", "checking", false)]  
       public void MethodWithoutRuntimeChecking(...) {  
          ...  
       }  
   }  

Constructores

ContractOptionAttribute(String, String, Boolean)	Inicializa una nueva instancia de la clase ContractOptionAttribute usando la categoría, configuración y valor para habilitar/deshabilitar especificados.
ContractOptionAttribute(String, String, String)	Inicializa una nueva instancia de la clase ContractOptionAttribute usando la categoría, configuración y valor especificados.

Propiedades

Category	Obtiene la categoría de la opción.
Enabled	Determina si se habilita una opción.
Setting	Obtiene el valor de la opción.
TypeId	Cuando se implementa en una clase derivada, obtiene un identificador único para este Attribute. (Heredado de Attribute)
Value	Obtiene el valor para la opción.

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)