Contract.EnsuresOnThrow Método
Definição
Importante
Algumas informações dizem respeito a um produto pré-lançado que pode ser substancialmente modificado antes de ser lançado. A Microsoft não faz garantias, de forma expressa ou implícita, em relação à informação aqui apresentada.
Especifica um contrato pós-condição para o método de encerramento ou propriedade com base na exceção e condição fornecidas.
Sobrecargas
| Name | Description |
|---|---|
| EnsuresOnThrow<TException>(Boolean) |
Especifica um contrato pós-condição para o método ou propriedade de encerramento, com base na exceção e condição fornecidas. |
| EnsuresOnThrow<TException>(Boolean, String) |
Especifica um contrato pós-condição e uma mensagem a mostrar se a condição for |
EnsuresOnThrow<TException>(Boolean)
Especifica um contrato pós-condição para o método ou propriedade de encerramento, com base na exceção e condição fornecidas.
public:
generic <typename TException>
where TException : Exception static void EnsuresOnThrow(bool condition);[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException>(bool condition) where TException : Exception;[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EnsuresOnThrow : bool -> unit (requires 'Exception :> Exception)Public Shared Sub EnsuresOnThrow(Of TException As Exception) (condition As Boolean)Parâmetros de Tipo Genérico
- TException
O tipo de exceção que invoca a verificação pós-condição.
Parâmetros
- condition
- Boolean
A expressão condicional para testar.
- Atributos
Observações
O condition parâmetro especifica uma postcondição que se espera que aconteça true quando o método ou propriedade de encerramento termina anormalmente e uma exceção de tipo TException é lançada.
Esta chamada de método deve estar no início de um método ou propriedade, antes de qualquer outro código.
Este contrato é exposto aos clientes; portanto, só deve referenciar membros que sejam pelo menos tão visíveis quanto o método de anexo.
Deve usar o regravador binário para aplicar esta postcondição em tempo de execução.
Aplica-se a
EnsuresOnThrow<TException>(Boolean, String)
Especifica um contrato pós-condição e uma mensagem a mostrar se a condição for false para o método ou propriedade de anexo, com base na exceção e condição fornecidas.
public:
generic <typename TException>
where TException : Exception static void EnsuresOnThrow(bool condition, System::String ^ userMessage);[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException>(bool condition, string userMessage) where TException : Exception;[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EnsuresOnThrow : bool * string -> unit (requires 'Exception :> Exception)Public Shared Sub EnsuresOnThrow(Of TException As Exception) (condition As Boolean, userMessage As String)Parâmetros de Tipo Genérico
- TException
O tipo de exceção que invoca a verificação pós-condição.
Parâmetros
- condition
- Boolean
A expressão condicional para testar.
- userMessage
- String
A mensagem a mostrar se a expressão for false.
- Atributos
Observações
O condition parâmetro especifica uma postcondição que se espera que aconteça true quando o método ou propriedade de encerramento termina anormalmente e uma exceção de tipo TException é lançada. O message parâmetro especifica uma mensagem a mostrar se a condição for false.
Esta chamada de método deve estar no início de um método ou propriedade, antes de qualquer outro código.
Este contrato é exposto aos clientes; portanto, só deve referenciar membros que sejam pelo menos tão visíveis quanto o método de anexo.
Deve usar o regravador binário para aplicar esta postcondição em tempo de execução.
Se
userMessagenão for uma cadeia literal constante, o contrato pode não ser compreendido pelas ferramentas.