System.Diagnostics.Contracts Espacio de nombres

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

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

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.

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

Especifica que una clase es un contrato para un tipo.

Proporciona métodos y datos para el evento ContractFailed.

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

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

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

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

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

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

Indica que un tipo o un método son puros, es decir, no provocan cambios visibles en el estado.

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