Contract.EnsuresOnThrow Método
Definição
Importante
Algumas informações se referem a produtos de pré-lançamento que podem ser substancialmente modificados antes do lançamento. A Microsoft não oferece garantias, expressas ou implícitas, das informações aqui fornecidas.
Especifica um contrato de pós-condição para o método ou propriedade delimitando com base na exceção e na condição fornecidas.
Sobrecargas
| Nome | Description |
|---|---|
| EnsuresOnThrow<TException>(Boolean) |
Especifica um contrato de pós-condição para o método ou propriedade delimitando, com base na exceção e na condição fornecidas. |
| EnsuresOnThrow<TException>(Boolean, String) |
Especifica um contrato pós-condição e uma mensagem a ser exibida se a condição for |
EnsuresOnThrow<TException>(Boolean)
Especifica um contrato de pós-condição para o método ou propriedade delimitando, com base na exceção e na 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
- TException
O tipo de exceção que invoca a verificação pós-condição.
Parâmetros
- condition
- Boolean
A expressão condicional a ser testada.
- Atributos
Comentários
O condition parâmetro especifica uma pós-condição que deve ser true quando o método ou propriedade delimitante termina de forma anormal e uma exceção de tipo TException é gerada.
Essa chamada de método deve estar no início de um método ou propriedade, antes de qualquer outro código.
Esse contrato é exposto aos clientes; portanto, ele só deve referenciar membros que sejam pelo menos tão visíveis quanto o método delimitador.
Você deve usar o reescritor binário para a imposição em tempo de execução dessa pós-condição.
Aplica-se a
EnsuresOnThrow<TException>(Boolean, String)
Especifica um contrato pós-condição e uma mensagem a ser exibida se a condição for false para o método ou propriedade delimitando, com base na exceção e na 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
- TException
O tipo de exceção que invoca a verificação pós-condição.
Parâmetros
- condition
- Boolean
A expressão condicional a ser testada.
- userMessage
- String
A mensagem a ser exibida se a expressão for false.
- Atributos
Comentários
O condition parâmetro especifica uma pós-condição que deve ser true quando o método ou propriedade delimitante termina de forma anormal e uma exceção de tipo TException é gerada. O message parâmetro especifica uma mensagem a ser exibida se a condição for false.
Essa chamada de método deve estar no início de um método ou propriedade, antes de qualquer outro código.
Esse contrato é exposto aos clientes; portanto, ele só deve referenciar membros que sejam pelo menos tão visíveis quanto o método delimitador.
Você deve usar o reescritor binário para a imposição em tempo de execução dessa pós-condição.
Se
userMessagenão for um literal de cadeia de caracteres constante, o contrato poderá não ser compreendido pelas ferramentas.