ContractOptionAttribute ContractOptionAttribute ContractOptionAttribute ContractOptionAttribute Class

Definición

Permite establecer opciones de contrato y herramienta en el ensamblado, tipo o granularidad del método.Enables you to set contract and tool options at assembly, type, or method granularity.

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
type ContractOptionAttribute = class
    inherit Attribute
Public NotInheritable Class ContractOptionAttribute
Inherits Attribute
Herencia
ContractOptionAttributeContractOptionAttributeContractOptionAttributeContractOptionAttribute
Atributos

Comentarios

En la tabla siguiente se muestra las opciones admitidas actualmente.The following table shows the currently supported options.

CategoríaCategory ParámetroSetting Valor/efectoValue/effect
contratocontract herenciainheritance true Para activar la herencia de contratos; false para desactivarlo.true to turn contract inheritance on; false to turn it off. De manera predeterminada, es true.The default is true.
motor en tiempo de ejecuciónruntime comprobarchecking true Para desactivar la comprobación de tiempo de ejecución false para desactivarlo.true to turn run-time checking on; false to turn it off. De manera predeterminada, es true.The default is true.

Puede usar este atributo, como se muestra en los ejemplos siguientes.You can use this attribute as illustrated in the following examples.

Para desactivar la comprobación de todo el ensamblado de tiempo de ejecución:To turn off run-time checking for the entire assembly:

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

Para activar la comprobación de contrato de tiempo de ejecución para un tipo específico:To turn run-time contract checking on for a specific type:

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

       ...  

Para desactivar la comprobación de tiempo de ejecución para un método específico:To turn run-time checking off for a specific method:

// 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) ContractOptionAttribute(String, String, Boolean) ContractOptionAttribute(String, String, Boolean) ContractOptionAttribute(String, String, Boolean)

Inicializa una nueva instancia de la clase ContractOptionAttribute usando la categoría, configuración y valor para habilitar/deshabilitar especificados.Initializes a new instance of the ContractOptionAttribute class by using the provided category, setting, and enable/disable value.

ContractOptionAttribute(String, String, String) ContractOptionAttribute(String, String, String) ContractOptionAttribute(String, String, String) ContractOptionAttribute(String, String, String)

Inicializa una nueva instancia de la clase ContractOptionAttribute usando la categoría, configuración y valor especificados.Initializes a new instance of the ContractOptionAttribute class by using the provided category, setting, and value.

Propiedades

Category Category Category Category

Obtiene la categoría de la opción.Gets the category of the option.

Enabled Enabled Enabled Enabled

Determina si se habilita una opción.Determines if an option is enabled.

Setting Setting Setting Setting

Obtiene el valor de la opción.Gets the setting for the option.

TypeId TypeId TypeId TypeId

Cuando se implementa en una clase derivada, obtiene un identificador único para este Attribute.When implemented in a derived class, gets a unique identifier for this Attribute.

(Inherited from Attribute)
Value Value Value Value

Obtiene el valor de la opción.Gets the value for the option.

Métodos

Equals(Object) Equals(Object) Equals(Object) Equals(Object)

Devuelve un valor que indica si esta instancia es igual que un objeto especificado.Returns a value that indicates whether this instance is equal to a specified object.

(Inherited from Attribute)
GetHashCode() GetHashCode() GetHashCode() GetHashCode()

Devuelve el código hash de esta instancia.Returns the hash code for this instance.

(Inherited from Attribute)
GetType() GetType() GetType() GetType()

Obtiene el Type de la instancia actual.Gets the Type of the current instance.

(Inherited from Object)
IsDefaultAttribute() IsDefaultAttribute() IsDefaultAttribute() IsDefaultAttribute()

Si se reemplaza en una clase derivada, indica si el valor de esta instancia es el valor predeterminado de la clase derivada.When overridden in a derived class, indicates whether the value of this instance is the default value for the derived class.

(Inherited from Attribute)
Match(Object) Match(Object) Match(Object) Match(Object)

Cuando se invalida en una clase derivada, devuelve un valor que indica si esta instancia es igual a un objeto especificado.When overridden in a derived class, returns a value that indicates whether this instance equals a specified object.

(Inherited from Attribute)
MemberwiseClone() MemberwiseClone() MemberwiseClone() MemberwiseClone()

Crea una copia superficial del objeto Object actual.Creates a shallow copy of the current Object.

(Inherited from Object)
ToString() ToString() ToString() ToString()

Devuelve una cadena que representa el objeto actual.Returns a string that represents the current object.

(Inherited from Object)

Implementaciones de interfaz explícitas

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

Asigna un conjunto de nombres a un conjunto correspondiente de identificadores de envío.Maps a set of names to a corresponding set of dispatch identifiers.

(Inherited from Attribute)
_Attribute.GetTypeInfo(UInt32, UInt32, IntPtr) _Attribute.GetTypeInfo(UInt32, UInt32, IntPtr) _Attribute.GetTypeInfo(UInt32, UInt32, IntPtr) _Attribute.GetTypeInfo(UInt32, UInt32, IntPtr)

Obtiene la información de tipos de un objeto, que puede utilizarse para obtener la información de tipos de una interfaz.Retrieves the type information for an object, which can be used to get the type information for an interface.

(Inherited from Attribute)
_Attribute.GetTypeInfoCount(UInt32) _Attribute.GetTypeInfoCount(UInt32) _Attribute.GetTypeInfoCount(UInt32) _Attribute.GetTypeInfoCount(UInt32)

Recupera el número de interfaces de información de tipo que proporciona un objeto (0 ó 1).Retrieves the number of type information interfaces that an object provides (either 0 or 1).

(Inherited from Attribute)
_Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr) _Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr) _Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr) _Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr)

Proporciona acceso a las propiedades y los métodos expuestos por un objeto.Provides access to properties and methods exposed by an object.

(Inherited from Attribute)

Se aplica a