Este artículo se tradujo automáticamente. Para ver el artículo en inglés, active la casilla Inglés. Además, puede mostrar el texto en inglés en una ventana emergente si mueve el puntero del mouse sobre el texto.
Traducción
Inglés

Espacio de nombres System.Diagnostics.Contracts

 

Publicado: octubre de 2016

El System.Diagnostics.Contracts espacio de nombres contiene clases estáticas para representar contratos del programa como condiciones previas, condiciones posteriores e invariables.

ClaseDescripción
System_CAPS_pubclassContract

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

System_CAPS_pubclassContractAbbreviatorAttribute

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

System_CAPS_pubclassContractArgumentValidatorAttribute

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.

System_CAPS_pubclassContractClassAttribute

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

System_CAPS_pubclassContractClassForAttribute

Especifica que una clase es un contrato para un tipo.

System_CAPS_pubclassContractFailedEventArgs

Proporciona métodos y datos para el Contract.ContractFailed eventos.

System_CAPS_pubclassContractInvariantMethodAttribute

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

System_CAPS_pubclassContractOptionAttribute

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

System_CAPS_pubclassContractPublicPropertyNameAttribute

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

System_CAPS_pubclassContractReferenceAssemblyAttribute

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

System_CAPS_pubclassContractRuntimeIgnoredAttribute

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

System_CAPS_pubclassContractVerificationAttribute

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.

System_CAPS_pubclassPureAttribute

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

EnumeraciónDescripción
System_CAPS_pubenumContractFailureKind

Especifica el tipo de contrato que produjo un error.

Volver al principio
Mostrar: