Contract.EnsuresOnThrow Contract.EnsuresOnThrow Contract.EnsuresOnThrow Contract.EnsuresOnThrow Method

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.Specifies a postcondition contract for the enclosing method or property based on the provided exception and condition.

Sobrecargas

EnsuresOnThrow<TException>(Boolean) EnsuresOnThrow<TException>(Boolean) EnsuresOnThrow<TException>(Boolean) 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.Specifies a postcondition contract for the enclosing method or property, based on the provided exception and condition.

EnsuresOnThrow<TException>(Boolean, String) EnsuresOnThrow<TException>(Boolean, String) EnsuresOnThrow<TException>(Boolean, String) 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.Specifies a postcondition contract and a message to display if the condition is false for the enclosing method or property, based on the provided exception and condition.

EnsuresOnThrow<TException>(Boolean) EnsuresOnThrow<TException>(Boolean) EnsuresOnThrow<TException>(Boolean) 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.Specifies a postcondition contract for the enclosing method or property, based on the provided exception and condition.

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;
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 de condição.The type of exception that invokes the postcondition check.

Parâmetros

condition
Boolean Boolean Boolean Boolean

A expressão condicional a ser testada.The conditional expression to test.

Comentários

O condition parâmetro especifica uma pré-condição que deve ser true quando o método ou a propriedade de circunscrição termina de forma anormal e uma exceção do tipo TException é gerada.The condition parameter specifies a postcondition that is expected to be true when the enclosing method or property terminates abnormally and an exception of type TException is thrown.

  • Essa chamada de método deve estar no início de um método ou propriedade, antes de qualquer outro código.This method call must be at the beginning of a method or property, before any other code.

  • Este contrato é exposto aos clientes; Portanto, ele só deve referenciar membros que sejam pelo menos tão visíveis quanto o método delimitador.This contract is exposed to clients; therefore, it must only reference members that are at least as visible as the enclosing method.

  • Você deve usar o regravador binário para a imposição de tempo de execução desta condição.You must use the binary rewriter for run-time enforcement of this postcondition.

EnsuresOnThrow<TException>(Boolean, String) EnsuresOnThrow<TException>(Boolean, String) EnsuresOnThrow<TException>(Boolean, String) 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.Specifies a postcondition contract and a message to display if the condition is false for the enclosing method or property, based on the provided exception and condition.

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;
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 de condição.The type of exception that invokes the postcondition check.

Parâmetros

condition
Boolean Boolean Boolean Boolean

A expressão condicional a ser testada.The conditional expression to test.

userMessage
String String String String

A mensagem a ser exibida se a expressão for false.The message to display if the expression is false.

Comentários

O condition parâmetro especifica uma pré-condição que deve ser true quando o método ou a propriedade de circunscrição termina de forma anormal e uma exceção do tipo TException é gerada.The condition parameter specifies a postcondition that is expected to be true when the enclosing method or property terminates abnormally and an exception of type TException is thrown. O message parâmetro especifica uma mensagem a ser exibida se a condição falsefor.The message parameter specifies a message to display if the condition is false.

  • Essa chamada de método deve estar no início de um método ou propriedade, antes de qualquer outro código.This method call must be at the beginning of a method or property, before any other code.

  • Este contrato é exposto aos clientes; Portanto, ele só deve referenciar membros que sejam pelo menos tão visíveis quanto o método delimitador.This contract is exposed to clients; therefore, it must only reference members that are at least as visible as the enclosing method.

  • Você deve usar o regravador binário para a imposição de tempo de execução desta condição.You must use the binary rewriter for run-time enforcement of this postcondition.

  • Se userMessage não for uma literal de cadeia de caracteres constante, o contrato poderá não ser compreendido por ferramentas.If userMessage is not a constant string literal, the contract may not be understood by tools.

Aplica-se a