Compartir vía


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.