System.Diagnostics.Contracts Namespace

O namespace System.Diagnostics.Contracts contém classes estáticas para representação de contratos de programa, como pré-condições, pós-condições e invariáveis. The System.Diagnostics.Contracts namespace contains static classes for representing program contracts such as preconditions, postconditions, and invariants.

Classes

Contract

Contém métodos estáticos para representação de contratos de programa, como pré-condições, pós-condições e invariáveis de objeto.Contains static methods for representing program contracts such as preconditions, postconditions, and object invariants.

ContractAbbreviatorAttribute

Define as abreviações que podem ser usadas no lugar da sintaxe de contrato completa.Defines abbreviations that you can use in place of the full contract syntax.

ContractArgumentValidatorAttribute

Permite a fatoração do código if-then-throw herdado em métodos separados para reutilização e fornece controle total sobre as exceções lançadas e os argumentos.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 um tipo separado contém os contratos de código para esse tipo.Specifies that a separate type contains the code contracts for this type.

ContractClassForAttribute

Especifica que uma classe é um contrato para um tipo.Specifies that a class is a contract for a type.

ContractFailedEventArgs

Fornece métodos e dados para o evento ContractFailed.Provides methods and data for the ContractFailed event.

ContractInvariantMethodAttribute

Marca um método como sendo o método invariável de uma classe.Marks a method as being the invariant method for a class.

ContractOptionAttribute

Permite definir opções de ferramenta e contrato na granularidade de assembly, tipo ou método.Enables you to set contract and tool options at assembly, type, or method granularity.

ContractPublicPropertyNameAttribute

Especifica que um campo pode ser usado em contratos de método quando o campo tem menos visibilidade que o método.Specifies that a field can be used in method contracts when the field has less visibility than the method.

ContractReferenceAssemblyAttribute

Especifica que um assembly é um assembly de referência que contém os contratos.Specifies that an assembly is a reference assembly that contains contracts.

ContractRuntimeIgnoredAttribute

Identifica um membro que não tem nenhum comportamento em tempo de execução.Identifies a member that has no run-time behavior.

ContractVerificationAttribute

Instrui ferramentas de análise a assumir que um assembly, tipo ou membro está correto sem executar verificação estática.Instructs analysis tools to assume the correctness of an assembly, type, or member without performing static verification.

PureAttribute

Indica que um tipo ou método é puro, ou seja, não faz qualquer alteração de estado visível.Indicates that a type or method is pure, that is, it does not make any visible state changes.

Enumerações

ContractFailureKind

Especifica o tipo de contrato que falhou.Specifies the type of contract that failed.