Compartilhar via


System.Diagnostics.Contracts Namespace

Contém classes estáticas para representação de contratos de programa, como pré-condições, pós-condições e invariáveis.

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.

ContractAbbreviatorAttribute

Define as abreviações que podem ser usadas no lugar da sintaxe de contrato completa.

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.

ContractClassAttribute

Especifica que um tipo separado contém os contratos de código para esse tipo.

ContractClassForAttribute

Especifica que uma classe é um contrato para um tipo.

ContractFailedEventArgs

Fornece métodos e dados para o evento ContractFailed.

ContractInvariantMethodAttribute

Marca um método como sendo o método invariável de uma classe.

ContractOptionAttribute

Permite definir opções de ferramenta e contrato na granularidade de assembly, tipo ou método.

ContractPublicPropertyNameAttribute

Especifica que um campo pode ser usado em contratos de método quando o campo tem menos visibilidade que o método.

ContractReferenceAssemblyAttribute

Especifica que um assembly é um assembly de referência que contém os contratos.

ContractRuntimeIgnoredAttribute

Identifica um membro que não tem nenhum comportamento em tempo de execução.

ContractVerificationAttribute

Instrui ferramentas de análise a assumir que um assembly, tipo ou membro está correto sem executar verificação estática.

PureAttribute

Indica que um tipo ou método é puro, ou seja, não faz qualquer alteração de estado visível.

Enumerações

ContractFailureKind

Especifica o tipo de contrato que falhou.