Exportar (0) Imprimir
Expandir todo
Este artículo proviene de un motor de traducción automática. Mueva el puntero sobre las frases del artículo para ver el texto original. Más información.
Traducción
Original

ContractAbbreviatorAttribute (Clase)

.NET Framework 4.5

Define las abreviaturas que puede usar en lugar de la sintaxis completa de contrato.

System.Object
  System.Attribute
    System.Diagnostics.Contracts.ContractAbbreviatorAttribute

Espacio de nombres:  System.Diagnostics.Contracts
Ensamblado:  mscorlib (en mscorlib.dll)

[ConditionalAttribute("CONTRACTS_FULL")]
[AttributeUsageAttribute(AttributeTargets.Method, AllowMultiple = false)]
public sealed class ContractAbbreviatorAttribute : Attribute

El tipo ContractAbbreviatorAttribute expone los siguientes miembros.

  NombreDescripción
Método públicoCompatible con .NET para aplicaciones de la Tienda WindowsContractAbbreviatorAttributeInicializa una nueva instancia de la clase ContractAbbreviatorAttribute.
Arriba

  NombreDescripción
Propiedad públicaTypeIdCuando se implementa en una clase derivada, obtiene un identificador único para este Attribute. (Se hereda de Attribute).
Arriba

  NombreDescripción
Método públicoCompatible con .NET para aplicaciones de la Tienda WindowsEqualsInfraestructura. Devuelve un valor que indica si esta instancia equivale al objeto especificado. (Se hereda de Attribute).
Método públicoCompatible con .NET para aplicaciones de la Tienda WindowsGetHashCodeDevuelve el código hash de esta instancia. (Se hereda de Attribute).
Método públicoCompatible con .NET para aplicaciones de la Tienda WindowsGetType Obtiene el Type de la instancia actual. (Se hereda de Object).
Método públicoIsDefaultAttributeCuando se invalida en una clase derivada, indica si el valor de esta instancia es el valor predeterminado para la clase derivada. (Se hereda de Attribute).
Método públicoMatch Cuando se invalida en una clase derivada, devuelve un valor que indica si esta instancia es igual al objeto especificado. (Se hereda de Attribute).
Método públicoCompatible con .NET para aplicaciones de la Tienda WindowsToString Retorna una cadena que representa al objeto actual. (Se hereda de Object).
Arriba

  NombreDescripción
Implementación explícita de interfacesMétodo privado_Attribute.GetIDsOfNamesAsigna un conjunto de nombres a un conjunto correspondiente de identificadores de envío. (Se hereda de Attribute).
Implementación explícita de interfacesMétodo privado_Attribute.GetTypeInfoObtiene la información de tipos de un objeto, que puede utilizarse para obtener la información de tipos de una interfaz. (Se hereda de Attribute).
Implementación explícita de interfacesMétodo privado_Attribute.GetTypeInfoCount

Recupera el número de interfaces de tipo de información que suministra un objeto (0 ó 1)

(Se hereda de Attribute).
Implementación explícita de interfacesMétodo privado_Attribute.InvokeProporciona acceso a las propiedades y los métodos expuestos por un objeto. (Se hereda de Attribute).
Arriba

El ejemplo siguiente muestra cómo crear nombres abreviados para contratos de código que se repiten en varios métodos.


using System.Diagnostics.Contracts;

public class MyClass 
{
   public int State { get; }
   public int Data { get; }

   [ ContractAbbreviator ]
   private void DataAndStateUnchanged() 
   {
      Contract.Ensures( this .State == Contract.OldValue(this.State));
      Contract.Ensures( this .Data == Contract.OldValue(this.Data));
   }

   [ ContractAbbreviator ]
   private void InStateZeroAndUnchanged() 
   {
      Contract.Requires( this.State == 0);
      DataAndStateUnchanged();
   }

   public void Method1(...) 
   {
      InStateZeroAndUnchanged();
      ...
   }

   public void Method2(...) 
   {
      InStateZeroAndUnchanged();
      ...
   }

   public void Method3(...)
   {
      Contract.Requires(this .State == 1);
      DataAndStateUnchanged();
   }
}

.NET Framework

Compatible con: 4.5.2, 4.5.1, 4.5

.NET para aplicaciones de la Tienda Windows

Compatible con: Windows 8

.NET para aplicaciones de Windows Phone

Compatible con: Windows Phone 8, Silverlight 8.1

Windows Phone 8.1, Windows Phone 8, Windows 8.1, Windows Server 2012 R2, Windows 8, Windows Server 2012, Windows 7, Windows Vista SP2, Windows Server 2008 (no se admite el rol Server Core), Windows Server 2008 R2 (se admite el rol Server Core con SP1 o versiones posteriores; no se admite Itanium)

.NET Framework no admite todas las versiones de todas las plataformas. Para obtener una lista de las versiones compatibles, vea Requisitos de sistema de .NET Framework.

Todos los miembros static (Shared en Visual Basic) públicos de este tipo son seguros para la ejecución de subprocesos. No se garantiza que los miembros de instancias sean seguros para la ejecución de subprocesos.

Adiciones de comunidad

AGREGAR
Mostrar:
© 2014 Microsoft