Compartilhar via


Contract.EnsuresOnThrow Método

Definição

Especifica um contrato de pós-condição para o método ou a propriedade delimitadora, com base na exceção e na condição fornecidas.

Sobrecargas

EnsuresOnThrow<TException>(Boolean)

Especifica um contrato de pós-condição para o método ou a propriedade delimitadora, com base na exceção e na condição fornecidas.

EnsuresOnThrow<TException>(Boolean, String)

Especifica um contrato de pós-condição e uma mensagem a ser exibida se a condição for false para o método ou a propriedade delimitadora, com base na exceção e na condição fornecidas.

EnsuresOnThrow<TException>(Boolean)

Origem:
Contracts.cs
Origem:
Contracts.cs
Origem:
Contracts.cs

Especifica um contrato de pós-condição para o método ou a propriedade delimitadora, 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 o marcar 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 delimitado termina de forma anormal e uma exceção do 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 são pelo menos tão visíveis quanto o método delimitamento.

  • 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)

Origem:
Contracts.cs
Origem:
Contracts.cs
Origem:
Contracts.cs

Especifica um contrato de pós-condição e uma mensagem a ser exibida se a condição for false para o método ou a propriedade delimitadora, 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")]
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 o marcar 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 delimitado termina de forma anormal e uma exceção do 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 são pelo menos tão visíveis quanto o método delimitamento.

  • Você deve usar o reescritor binário para a imposição em tempo de execução dessa pós-condição.

  • Se userMessage não for um literal de cadeia de caracteres constante, o contrato poderá não ser compreendido pelas ferramentas.

Aplica-se a