ContractOptionAttribute Clase

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
ContractOptionAttribute
Atributos

Comentarios

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

CategoríaCategory ParámetroSetting Valor/efectoValue/effect
contratocontract herenciainheritance truepara activar la herencia del contrato; false para desactivarla.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 truepara activar la comprobación en tiempo de ejecución; false para desactivarla.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 en tiempo de ejecución de todo el ensamblado:To turn off run-time checking for the entire assembly:

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

Para activar la comprobación de contrato en 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 activar la desactivación en 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)

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)

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

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

Enabled

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

Setting

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

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.

(Heredado de Attribute)
Value

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

Métodos

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.

(Heredado de Attribute)
GetHashCode()

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

(Heredado de Attribute)
GetType()

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

(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.When overridden in a derived class, indicates whether the value of this instance is the default value for the derived class.

(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.When overridden in a derived class, returns a value that indicates whether this instance equals a specified object.

(Heredado de Attribute)
MemberwiseClone()

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

(Heredado de Object)
ToString()

Devuelve un valor de tipo string que representa el objeto actual.Returns a string that represents the current object.

(Heredado de Object)

Implementaciones de interfaz explícitas

_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.

(Heredado de Attribute)
_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.

(Heredado de Attribute)
_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).

(Heredado de Attribute)
_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.

(Heredado de Attribute)

Se aplica a