Este artigo foi traduzido por máquina. Para visualizar o arquivo em inglês, marque a caixa de seleção Inglês. Você também pode exibir o texto Em inglês em uma janela pop-up, movendo o ponteiro do mouse sobre o texto.
Tradução
Inglês

Classe Contract

.NET Framework (current version)
 
System_CAPS_noteObservação

The .NET API Reference documentation has a new home. Visit the .NET API Browser on docs.microsoft.com to see the new experience.

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.

Namespace:   System.Diagnostics.Contracts
Assembly:  mscorlib (em mscorlib.dll)

System.Object
  System.Diagnostics.Contracts.Contract

public static class Contract

NomeDescrição
System_CAPS_pubmethodSystem_CAPS_staticAssert(Boolean)

Verifica uma condição; se a condição for false, seguirá a política de escalonamento definida para o analisador.

System_CAPS_pubmethodSystem_CAPS_staticAssert(Boolean, String)

Verifica uma condição; se a condição for false, seguirá a política de escalonamento definida pelo analisador e exibirá a mensagem especificada.

System_CAPS_pubmethodSystem_CAPS_staticAssume(Boolean)

Instrui as ferramentas de análise de código a assumir que a condição especificada é true, mesmo que ela não possa ser estaticamente comprovada ser sempre true.

System_CAPS_pubmethodSystem_CAPS_staticAssume(Boolean, String)

Instrui ferramentas de análise de código assuma que uma condição é true, mesmo que ele não pode ser estaticamente comprovadamente sempre truee exibe uma mensagem se a suposição falhar.

System_CAPS_pubmethodSystem_CAPS_staticEndContractBlock()

Marca o fim da seção do contrato quando os contratos de um método contêm apenas precondições no formato if-then-throw.

System_CAPS_pubmethodSystem_CAPS_staticEnsures(Boolean)

Especifica um contrato de pós-condição para o método ou a propriedade delimitadora.

System_CAPS_pubmethodSystem_CAPS_staticEnsures(Boolean, String)

Especifica um contrato postcondition para uma condição de saída fornecido e uma mensagem a ser exibida se a condição for false.

System_CAPS_pubmethodSystem_CAPS_staticEnsuresOnThrow<TException>(Boolean)

Especifica um contrato postcondition para o método ou propriedade, com base na exceção fornecida e a condição de delimitador.

System_CAPS_pubmethodSystem_CAPS_staticEnsuresOnThrow<TException>(Boolean, String)

Especifica um contrato postcondition e uma mensagem a ser exibida se a condição for false para o método ou propriedade delimitador, com base na exceção fornecida e a condição.

System_CAPS_pubmethodSystem_CAPS_staticExists(Int32, Int32, Predicate<Int32>)

Determina se um teste especificado é verdadeiro para qualquer inteiro dentro do intervalo de inteiros.

System_CAPS_pubmethodSystem_CAPS_staticExists<T>(IEnumerable<T>, Predicate<T>)

Determina se um elemento em uma coleção de elementos dentro de uma função.

System_CAPS_pubmethodSystem_CAPS_staticForAll(Int32, Int32, Predicate<Int32>)

Determina se uma determinada condição é válida para todos os números inteiros em um intervalo especificado.

System_CAPS_pubmethodSystem_CAPS_staticForAll<T>(IEnumerable<T>, Predicate<T>)

Determina se todos os elementos de uma coleção existem em uma função.

System_CAPS_pubmethodSystem_CAPS_staticInvariant(Boolean)

Especifica um contrato invariável para o método ou a propriedade delimitadora.

System_CAPS_pubmethodSystem_CAPS_staticInvariant(Boolean, String)

Especifica um contrato invariável de método ou propriedade delimitador e exibe uma mensagem se a condição para o contrato falhará.

System_CAPS_pubmethodSystem_CAPS_staticOldValue<T>(T)

Representa valores como eram no início de um método ou propriedade.

System_CAPS_pubmethodSystem_CAPS_staticRequires(Boolean)

Especifica um contrato de pré-condição para o método ou a propriedade delimitadora.

System_CAPS_pubmethodSystem_CAPS_staticRequires(Boolean, String)

Especifica um contrato de precondição para a propriedade ou o método delimitador e exibe uma mensagem se a condição para o contrato falhar.

System_CAPS_pubmethodSystem_CAPS_staticRequires<TException>(Boolean)

Especifica um contrato de precondição para a propriedade ou o método delimitador e lança uma exceção se a condição para o contrato falhar.

System_CAPS_pubmethodSystem_CAPS_staticRequires<TException>(Boolean, String)

Especifica um contrato de precondição para a propriedade ou o método delimitador e lança uma exceção com a mensagem fornecida se a condição para o contrato falhar.

System_CAPS_pubmethodSystem_CAPS_staticResult<T>()

Representa o valor retornado de um método ou uma propriedade.

System_CAPS_pubmethodSystem_CAPS_staticValueAtReturn<T>(T)

Representa o valor final (saída) de um out parâmetro ao retornar de um método.

NomeDescrição
System_CAPS_pubeventSystem_CAPS_staticContractFailed

Ocorre quando um contrato falha.

Classes de contrato de código permitem que você especificar pré-condições, pós-condições e invariáveis de objeto em seu código. As pré-condições são requisitos que devem ser atendidos ao inserir um método ou uma propriedade. As pós-condições descrevem as expectativas no momento em que o código do método ou da propriedade é fechado. Invariáveis de objeto descrevem o estado esperado para uma classe que não tenha nenhum problema de condição. Para obter mais informações sobre como pré-condições, pós-condições e invariáveis de objeto, consulte Contratos de código.

Para ferramentas e instruções detalhadas para o uso de contratos de código, consulte Code Contracts no site do MSDN DevLabs.

System_CAPS_importantImportante

Você deve usar um regravador binário para inserir a imposição de tempo de execução de contratos. Caso contrário, contratos, como o Contract.Ensures método só pode ser testado estaticamente e não gerar exceções em tempo de execução se um contrato for violado. Você pode baixar o regravador binário CCRewrite de Code Contracts no site do MSDN DevLabs. CCRewrite vem com um suplemento do Visual Studio que permite que você ative a imposição de contrato de tempo de execução do projeto propriedades página. O regravador binário e o suplemento do Visual Studio não são fornecidos com Visual Studio 2010 ou o SDK do Windows.

Plataforma Universal do Windows
Disponível desde 8
.NET Framework
Disponível desde 4.0
Biblioteca de Classes Portátil
Com suporte no: plataformas portáteis do .NET
Silverlight
Disponível desde 4.0
Windows Phone Silverlight
Disponível desde 8.0
Windows Phone
Disponível desde 8.1

Quaisquer membros estáticos públicos ( Compartilhado no Visual Basic) desse tipo são thread-safe. Não há garantia de que qualquer membro de instância seja thread-safe.

Retornar ao início
Mostrar: