System.Diagnostics.Contracts Namespace

System.Diagnostics.Contracts clases estáticas que representan contratos del programa como condiciones previas, condiciones posteriores y valores invariables. The System.Diagnostics.Contracts namespace contains static classes for representing program contracts such as preconditions, postconditions, and invariants.

Clases

Contract

Contiene métodos estáticos para representar contratos del programa como condiciones previas, condiciones posteriores y objetos invariables.Contains static methods for representing program contracts such as preconditions, postconditions, and object invariants.

ContractAbbreviatorAttribute

Define las abreviaturas que puede usar en lugar de la sintaxis completa de contrato.Defines abbreviations that you can use in place of the full contract syntax.

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.Enables the factoring of legacy if-then-throw code into separate methods for reuse, and provides full control over thrown exceptions and arguments.

ContractClassAttribute

Especifica que un tipo independiente contiene los contratos de código para este tipo.Specifies that a separate type contains the code contracts for this type.

ContractClassForAttribute

Especifica que una clase es un contrato para un tipo.Specifies that a class is a contract for a type.

ContractFailedEventArgs

Proporciona métodos y datos para el evento ContractFailed.Provides methods and data for the ContractFailed event.

ContractInvariantMethodAttribute

Marca un método como método invariable de una clase.Marks a method as being the invariant method for a class.

ContractOptionAttribute

Permite establecer opciones de contrato y herramienta en el ensamblado, tipo o granularidad del método.Enables you to set contract and tool options at assembly, type, or method granularity.

ContractPublicPropertyNameAttribute

Especifica que se puede usar un campo en contratos de método cuando el campo tiene menos visibilidad que el método.Specifies that a field can be used in method contracts when the field has less visibility than the method.

ContractReferenceAssemblyAttribute

Especifica que un ensamblado es un ensamblado de referencia que contiene contratos.Specifies that an assembly is a reference assembly that contains contracts.

ContractRuntimeIgnoredAttribute

Identifica un miembro que no tenga ningún comportamiento en tiempo de ejecución.Identifies a member that has no run-time behavior.

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.Instructs analysis tools to assume the correctness of an assembly, type, or member without performing static verification.

PureAttribute

Indica que un tipo o método es puro, es decir, no realiza ningún cambio en el estado de visibilidad.Indicates that a type or method is pure, that is, it does not make any visible state changes.

Enumeraciones

ContractFailureKind

Especifica el tipo de contrato en el que se produjo un error.Specifies the type of contract that failed.