Exportar (0) Imprimir
Expandir todo
Este artículo proviene de un motor de traducción automática. Mueva el puntero sobre las frases del artículo para ver el texto original. Más información.
Traducción
Original

System.Diagnostics.Contracts (Espacio de nombres)

System.Diagnostics.Contracts clases estáticas que representan contratos del programa como condiciones previas, condiciones posteriores y valores invariables.

  Clase Descripción
Clase pública Compatible con Biblioteca de clases portable Compatible con .NET para aplicaciones de la Tienda Windows Contract Contiene métodos estáticos para representar contratos del programa como condiciones previas, condiciones posteriores y objetos invariables.
Clase pública Compatible con .NET para aplicaciones de la Tienda Windows ContractAbbreviatorAttribute Define las abreviaturas que puede usar en lugar de la sintaxis completa de contrato.
Clase pública Compatible con .NET para aplicaciones de la Tienda Windows ContractArgumentValidatorAttribute Permite dividir el código heredado de if-then-throw en métodos independientes para su reutilización y también proporciona un control total sobre las excepciones producidas y sus argumentos.
Clase pública Compatible con Biblioteca de clases portable Compatible con .NET para aplicaciones de la Tienda Windows ContractClassAttribute Especifica que un tipo independiente contiene los contratos de código para este tipo.
Clase pública Compatible con Biblioteca de clases portable Compatible con .NET para aplicaciones de la Tienda Windows ContractClassForAttribute Especifica que una clase es un contrato para un tipo.
Clase pública Compatible con Biblioteca de clases portable Compatible con .NET para aplicaciones de la Tienda Windows ContractFailedEventArgs Proporciona métodos y datos para el evento Contract.ContractFailed.
Clase pública Compatible con Biblioteca de clases portable Compatible con .NET para aplicaciones de la Tienda Windows ContractInvariantMethodAttribute Marca un método como método invariable de una clase.
Clase pública Compatible con .NET para aplicaciones de la Tienda Windows ContractOptionAttribute Permite establecer opciones de contrato y herramienta en el ensamblado, tipo o granularidad del método.
Clase pública Compatible con Biblioteca de clases portable Compatible con .NET para aplicaciones de la Tienda Windows ContractPublicPropertyNameAttribute Especifica que un campo se puede usar en contratos de método cuando tenga menos visibilidad que el método.
Clase pública Compatible con Biblioteca de clases portable Compatible con .NET para aplicaciones de la Tienda Windows ContractReferenceAssemblyAttribute Especifica que un ensamblado es un ensamblado de referencia que contiene contratos.
Clase pública Compatible con Biblioteca de clases portable Compatible con .NET para aplicaciones de la Tienda Windows ContractRuntimeIgnoredAttribute Identifica un miembro que no tiene ningún comportamiento en tiempo de ejecución.
Clase pública Compatible con Biblioteca de clases portable Compatible con .NET para aplicaciones de la Tienda Windows ContractVerificationAttribute Indica 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ública Compatible con Biblioteca de clases portable Compatible con .NET para aplicaciones de la Tienda Windows PureAttribute Indica que un tipo o método es puro, es decir, no realiza ningún cambio en el estado de visibilidad.

  Enumeración Descripción
Enumeración pública Compatible con Biblioteca de clases portable Compatible con .NET para aplicaciones de la Tienda Windows ContractFailureKind Especifica el tipo de contrato en el que se produjo un error.

Adiciones de comunidad

AGREGAR
Mostrar:
© 2015 Microsoft