Para ver el artículo en inglés, active la casilla Inglés. También puede ver el texto en inglés en una ventana emergente si pasa el puntero del mouse por el texto.
Traducción
Inglés
Esta documentación está archivada y no tiene mantenimiento.

System.Diagnostics.Contracts (Espacio de nombres)

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

  ClaseDescripción
Clase públicaContractContiene métodos estáticos para representar contratos del programa como condiciones previas, condiciones posteriores y objetos invariables.
Clase públicaContractClassAttributeEspecifica que un tipo independiente contiene los contratos de código para este tipo.
Clase públicaContractClassForAttributeEspecifica que una clase es un contrato para un tipo.
Clase públicaContractFailedEventArgsProporciona métodos y datos para el evento Contract.ContractFailed.
Clase públicaContractInvariantMethodAttributeMarca un método como método invariable de una clase.
Clase públicaContractPublicPropertyNameAttributeEspecifica que un campo se puede usar en contratos de método cuando tenga menos visibilidad que el método.
Clase públicaContractReferenceAssemblyAttributeEspecifica que un ensamblado es un ensamblado de referencia que contiene contratos.
Clase públicaContractRuntimeIgnoredAttributeIdentifica un miembro que no tiene ningún comportamiento en tiempo de ejecución.
Clase públicaContractVerificationAttributeIndica a las herramientas de análisis que supongan la exactitud de un ensamblado, tipo o miembro sin realizar ninguna comprobación estática.
Clase públicaPureAttributeIndica que un tipo o método es puro, es decir, no realiza ningún cambio en el estado de visibilidad.

  EnumeraciónDescripción
Enumeración públicaContractFailureKindEspecifica el tipo de contrato en el que se produjo un error.
Mostrar: