System.Diagnostics.Contracts Espacio de nombres

Contiene las clases estáticas para representar contratos del programa, como condiciones previas, condiciones posteriores e invariables.

Clases

Contract	Contiene métodos estáticos para representar contratos del programa como condiciones previas, condiciones posteriores y objetos invariables.
ContractAbbreviatorAttribute	Define las abreviaturas que puede usar en lugar de la sintaxis completa de contrato.
ContractArgumentValidatorAttribute	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.
ContractClassAttribute	Especifica que un tipo independiente contiene los contratos de código para este tipo.
ContractClassForAttribute	Especifica que una clase es un contrato para un tipo.
ContractFailedEventArgs	Proporciona métodos y datos para el evento ContractFailed.
ContractInvariantMethodAttribute	Marca un método como método invariable de una clase.
ContractOptionAttribute	Permite establecer opciones de contrato y herramienta en el ensamblado, tipo o granularidad del método.
ContractPublicPropertyNameAttribute	Especifica que se puede usar un campo en contratos de método cuando el campo tiene menos visibilidad que el método.
ContractReferenceAssemblyAttribute	Especifica que un ensamblado es un ensamblado de referencia que contiene contratos.
ContractRuntimeIgnoredAttribute	Identifica un miembro que no tenga ningún comportamiento en tiempo de ejecución.
ContractVerificationAttribute	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.
PureAttribute	Indica que un tipo o un método son puros, es decir, no provocan cambios visibles en el estado.

Enumeraciones

ContractFailureKind

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