Contract.EnsuresOnThrow Método

Definição

Namespace:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

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

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

ConditionalAttribute

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.

EnsuresOnThrow<TException>(Boolean, String)

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")>]
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

ConditionalAttribute

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.