System.Diagnostics.Contracts

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

Comprueba una condición; si es false, sigue la directiva de elevación establecida para el analizador.

Expresión condicional que se va a probar.

Comprueba una condición; si es false, sigue la directiva de elevación establecida por el analizador y muestra el mensaje especificado.

Expresión condicional que se va a probar. Mensaje para mostrar si no se cumple la condición.

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.

Expresión condicional que se supone que es true.

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.

Expresión condicional que se supone que es true. Mensaje que se muestra si se produce un error en la suposición.

Se produce cuando un contrato da error.

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

Especifica un contrato de condición posterior para el método o la propiedad envolvente.

Expresión condicional que se va a probar.La expresión puede incluir los valores , y .

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.

Expresión condicional que se va a probar.La expresión puede incluir los valores y . Mensaje para mostrar si la expresión no es true.

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.

Expresión condicional que se va a probar. El tipo de excepción que invoca la comprobación de la condición posterior.

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.

Expresión condicional que se va a probar. Mensaje para mostrar si la expresión es false. El tipo de excepción que invoca la comprobación de la condición posterior.

Determina si un elemento de una colección de elementos existe dentro de una función.

Es true si y solo si devuelve true para cualquier elemento de tipo en . Colección de la que se extraen elementos de tipo para pasar a . Función para evaluar un elemento en . Tipo que está contenido en . or is null.

Determina si una prueba especificada es true para cualquier entero dentro de un intervalo de enteros.

Es true si devuelve true para cualquier entero entre y - 1. Primer entero que se pasa a . Uno más que el último entero que se pasa a . Función que se evalúa para cualquier valor del entero en el intervalo especificado. is null. is less than .

Determina si todos los elementos de una colección existen dentro de una función.

Es true si y solo si devuelve true para todos los elementos de tipo en . Colección de la que se extraen elementos de tipo para pasar a . Función que se evalúa para comprobar la existencia de todos los elementos en . Tipo que está contenido en . or is null.

Determina si una condición determinada es válida para todos los enteros de un intervalo especificado.

Es true si devuelve true para todos los enteros entre y - 1. Primer entero que se pasa a . Uno más que el último entero que se pasa a . Función que se evalúa para comprobar la existencia de enteros en el rango especificado. is null. is less than .

Especifica un contrato invariable para el método o propiedad envolvente.

Expresión condicional que se va a probar.

Especifica un contrato invariable para el método o propiedad envolvente, y muestra un mensaje si la condición del contrato da error.

Expresión condicional que se va a probar. Mensaje que se va a mostrar si la condición es false.

Representa los valores como eran al principio de un método o propiedad.

El valor del parámetro o del campo del inicio de un método o propiedad. Valor que se va a representar (campo o parámetro). Tipo del valor.

Especifica un contrato de condición previa para el método o propiedad envolvente, y produce una excepción si no se cumple la condición del contrato.

Expresión condicional que se va a probar. Excepción que se produce si la condición es false.

Especifica un contrato de condición previa para el método o propiedad envolvente.

Expresión condicional que se va a probar.

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.

Expresión condicional que se va a probar. Mensaje que se va a mostrar si la condición es false.

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.

Expresión condicional que se va a probar. Mensaje que se va a mostrar si la condición es false. Excepción que se produce si la condición es false.

Representa el valor devuelto de un método o propiedad.

Valor devuelto del método o propiedad envolvente. Tipo del valor devuelto del método o propiedad envolvente.

Representa el valor final (resultado) de un parámetro out cuando se devuelve de un método.

Valor de salida del parámetro out. Parámetro out. Tipo del parámetro out.

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

Inicializa una nueva instancia de la clase .

Habilita la factorización de código if-then-throw heredado en métodos independientes para su reutilización, y proporciona el control completo sobre los argumentos y excepciones producidas.

Inicializa una nueva instancia de la clase .

Especifica que un tipo independiente contiene los contratos de código para este tipo.

Inicializa una nueva instancia de la clase .

Tipo que contiene los contratos de código para este tipo.

Obtiene el tipo que contiene los contratos de código para este tipo.

Tipo que contiene los contratos de código para este tipo.

Especifica que una clase es un contrato para un tipo.

Inicializa una nueva instancia de la clase , especificando el tipo para el cual la clase actual es un contrato.

Tipo para el cual la clase actual es un contrato.

Obtiene el tipo al que se aplica este contrato de código.

Tipo al que se aplica este contrato.

Proporciona métodos y datos para el evento .

Proporciona datos para el evento .

Uno de los valores de enumeración que especifica el contrato que produjo el error. El mensaje del evento. Condición para el evento. Excepción que ha producido el evento.

Obtiene la condición para el error del contrato.

La condición para el error.

Obtiene el tipo de contrato que produjo el error.

Uno de los valores de enumeración que especifica el tipo de contrato que produjo el error.

Indica si el evento se ha controlado.

Es true si se ha controlado el evento; en caso contrario, es false.

Obtiene el mensaje que describe el evento .

El mensaje que describe el evento.

Obtiene la excepción original que produjo el evento .

Excepción que ha producido el evento.

Establece la propiedad en true.

Indica si se debe aplicar la directiva de elevación de contrato de código.

true para aplicar la directiva de elevación; de lo contrario, false.El valor predeterminado es false.

Especifica el tipo de contrato en el que se produjo un error.

Se produjo un error en un contrato .

Marca un método como método invariable de una clase.

Inicializa una nueva instancia de la clase .

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

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

La categoría para establecer la opción. El valor de la opción. true para habilitar la opción; false para deshabilitar la opción.

Inicializa una nueva instancia de la clase usando la categoría, configuración y valor especificados.

La categoría de la opción que se va a establecer. El valor de la opción. Valor para la configuración.

Obtiene la categoría de la opción.

La categoría de la opción.

Determina si se habilita una opción.

true si la opción está habilitada; de lo contrario, false.

Obtiene el valor de la opción.

El valor de la opción.

Obtiene el valor de la opción.

Valor de la opción.

Especifica que un campo se puede usar en contratos de método cuando tenga menos visibilidad que el método.

Inicializa una nueva instancia de la clase .

El nombre de la propiedad que se va a aplicar al campo.

Obtiene el nombre de la propiedad que se va a aplicar al campo.

Nombre de la propiedad que se aplica al campo.

Especifica que un ensamblado es un ensamblado de referencia que contiene contratos.

Inicializa una nueva instancia de la clase .

Identifica un miembro que no tiene ningún comportamiento en tiempo de ejecución.

Inicializa una nueva instancia de la clase .

Indica a las herramientas de análisis que supongan la exactitud de un ensamblado, tipo o miembro sin realizar ninguna comprobación estática.

Inicializa una nueva instancia de la clase .

true para requerir la comprobación; de lo contrario, false.

Obtiene el valor que indica si se va a comprobar el contrato del destino.

Es true si la comprobación es necesaria; de lo contrario, es false.

Indica que un tipo o método es puro, es decir, no realiza ningún cambio en el estado de visibilidad.

Inicializa una nueva instancia de la clase .

Proporciona métodos que el sistema de reescritura binario emplea para administrar errores de contrato.

Es empleado por el sistema de reescritura binario para activar el comportamiento de error predeterminado.

Referencia null (Nothing en Visual Basic) si el evento se controló y no debería desencadenar un error; de lo contrario, devuelve el mensaje de error localizado. Uno de los valores de enumeración que especifica el nivel de error. Información de usuario adicional. Descripción de la condición que provocó el error. Excepción interna que provocó la excepción actual. no es un valor válido.

Desencadena el comportamiento de error predeterminado.

Uno de los valores de enumeración que especifica el nivel de error. Mensaje que se va a mostrar. Información de usuario adicional. Descripción de la condición que provocó el error. Excepción interna que provocó la excepción actual.