Compartir a través de


Contract.EnsuresOnThrow Método

Definición

Especifica un contrato de condición posterior para el método o la propiedad envolvente a partir de la excepción y condición proporcionadas.

Sobrecargas

EnsuresOnThrow<TException>(Boolean)

Especifica un contrato de condición posterior para el método o la propiedad envolvente, a partir de la excepción y condición proporcionadas.

EnsuresOnThrow<TException>(Boolean, String)

Especifica un contrato de condición posterior para el método o la propiedad envolvente, y un mensaje para mostrar si la condición es false, a partir de la excepción y condición proporcionadas.

EnsuresOnThrow<TException>(Boolean)

Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs

Especifica un contrato de condición posterior para el método o la propiedad envolvente, a partir de la excepción y condición proporcionadas.

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

El tipo de excepción que invoca la comprobación de la condición posterior.

Parámetros

condition
Boolean

Expresión condicional que se va a probar.

Atributos

Comentarios

El condition parámetro especifica una condición posterior que se espera que sea true cuando el método o la propiedad envolvente finaliza de forma anómala y se produce una excepción de tipo TException .

  • Esta llamada al método debe estar al principio de un método o propiedad, antes de cualquier otro código.

  • Este contrato se expone a los clientes; por lo tanto, solo debe hacer referencia a miembros que sean al menos tan visibles como método envolvente.

  • Debe usar la reescritura binaria para la aplicación en tiempo de ejecución de esta condición posterior.

Se aplica a

EnsuresOnThrow<TException>(Boolean, String)

Source:
Contracts.cs
Source:
Contracts.cs
Source:
Contracts.cs

Especifica un contrato de condición posterior para el método o la propiedad envolvente, y un mensaje para mostrar si la condición es false, a partir de la excepción y condición proporcionadas.

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

El tipo de excepción que invoca la comprobación de la condición posterior.

Parámetros

condition
Boolean

Expresión condicional que se va a probar.

userMessage
String

Mensaje para mostrar si la expresión es false.

Atributos

Comentarios

El condition parámetro especifica una condición posterior que se espera que sea true cuando el método o la propiedad envolvente finaliza de forma anómala y se produce una excepción de tipo TException . El message parámetro especifica un mensaje que se va a mostrar si la condición es false.

  • Esta llamada al método debe estar al principio de un método o propiedad, antes de cualquier otro código.

  • Este contrato se expone a los clientes; por lo tanto, solo debe hacer referencia a miembros que sean al menos tan visibles como método envolvente.

  • Debe usar la reescritura binaria para la aplicación en tiempo de ejecución de esta condición posterior.

  • Si userMessage no es un literal de cadena constante, es posible que las herramientas no comprendan el contrato.

Se aplica a