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.