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

Contract (Clase)

Contiene métodos estáticos para representar contratos del programa como condiciones previas, condiciones posteriores y objetos invariables.

System.Object
  System.Diagnostics.Contracts.Contract

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

public static class Contract

El tipo Contract expone los siguientes miembros.

  NombreDescripción
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsAssert(Boolean)Comprueba una condición; si es false, sigue la directiva de elevación establecida para el analizador.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsAssert(Boolean, String)Comprueba una condición; si es false, sigue la directiva de elevación establecida por el analizador y muestra el mensaje especificado.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsAssume(Boolean)Indica a las herramientas de análisis de código que supongan que la condición especificada es true, aun cuando no se pueda demostrar estáticamente que siempre sea true.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsAssume(Boolean, String)Indica a las herramientas de análisis de código que supongan que una condición es true, aun cuando no se puede demostrar estáticamente que siempre es true, y muestra un mensaje si la hipótesis es errónea.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsEndContractBlockMarca el final de la sección de contrato cuando los contratos de un método solo contienen condiciones previas con el formato if-then-throw.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsEnsures(Boolean)Especifica un contrato de condición posterior para el método o la propiedad envolvente.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsEnsures(Boolean, String)Especifica un contrato de condición posterior para una condición de salida proporcionada y un mensaje para mostrar si la condición es false.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsEnsuresOnThrow<TException>(Boolean)Especifica un contrato de condición posterior para el método o la propiedad envolvente, a partir de la excepción y condición proporcionadas.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsEnsuresOnThrow<TException>(Boolean, String)Especifica un contrato de condición posterior para el método o la propiedad envolvente, y un mensaje para mostrar si la condición es false, a partir de la excepción y condición proporcionadas.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsExists(Int32, Int32, Predicate<Int32>)Determina si una prueba especificada es true para cualquier entero dentro de un intervalo de enteros.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsExists<T>(IEnumerable<T>, Predicate<T>)Determina si un elemento de una colección de elementos existe dentro de una función.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsForAll(Int32, Int32, Predicate<Int32>)Determina si una condición determinada es válida para todos los enteros de un intervalo especificado.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsForAll<T>(IEnumerable<T>, Predicate<T>)Determina si todos los elementos de una colección existen dentro de una función.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsInvariant(Boolean)Especifica un contrato invariable para el método o propiedad envolvente.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsInvariant(Boolean, String)Especifica un contrato de condición invariable para el método o propiedad envolvente, y muestra un mensaje si la condición del contrato da error.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsOldValue<T>Representa los valores como eran al principio de un método o propiedad.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsRequires(Boolean)Especifica un contrato de condición previa para el método o propiedad envolvente.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsRequires(Boolean, String)Especifica un contrato de condición previa para el método o propiedad envolvente, y muestra un mensaje si la condición del contrato da error.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsRequires<TException>(Boolean)Especifica un contrato de condición previa para el método o propiedad envolvente, y produce una excepción si la condición de error.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsRequires<TException>(Boolean, String)Especifica un contrato de condición previa para el método o propiedad envolvente, y produce una excepción con el mensaje proporcionado si no se cumple la condición del contrato.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsResult<T>Representa el valor devuelto de un método o propiedad.
Método públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsValueAtReturn<T>Representa el valor final (resultado) de un parámetro out cuando devuelve de un método.
Arriba

  NombreDescripción
Evento públicoMiembro estáticoCompatible con Biblioteca de clases portableCompatible con .NET para aplicaciones de la Tienda WindowsContractFailedSe produce cuando un contrato da error.
Arriba

Las clases de contrato de código le permiten especificar condiciones previas, condiciones posteriores e invariables de objeto en su código. Las condiciones previas son requisitos que se deben cumplir al escribir un método o propiedad. Las condiciones posteriores describen las expectativas en el momento en el que sale el código de método o propiedad. Las invariables de objeto describen el estado esperado para una clase que no tiene problemas de condición. Para obtener más información sobre condiciones previas, condiciones posteriores e invariables, vea Contratos de código.

Para herramientas e instrucciones detalladas sobre el uso contratos de código, vea Code Contracts en el sitio web de MSDN DevLabs.

Nota importanteImportante

Debe usar un sistema de reescritura binario para insertar el cumplimiento en tiempo de ejecución de los contratos. De lo contrario, los contratos como el método Contract.Ensures únicamente se pueden probar de forma estática y no se producirán excepciones durante el tiempo de ejecución si se infringe un contrato. Puede descargar el sistema de reescritura binario CCRewrite de Contratos de código en el sitio web de MSDN DevLabs. CCRewrite viene con un complemento de Visual Studio que permite activar el cumplimiento del contrato en tiempo de ejecución en la página Propiedades del proyecto. El sistema de reescritura binario y el complemento de Visual Studio no se distribuyen con Visual Studio 2010 o SDK de Windows.

.NET Framework

Compatible con: 4.5.2, 4.5.1, 4.5, 4

.NET Framework Client Profile

Compatible con: 4

Biblioteca de clases portable

Compatible con: Biblioteca de clases portable

.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