System.Diagnostics.Contracts Namespace

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.

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

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.

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

Especifica que uma classe é um contrato para um tipo.

Fornece métodos e dados para o evento ContractFailed.

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

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

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

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

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

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

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

Especifica o tipo de contrato que falhou.