Contract.EnsuresOnThrow Método

Definición

Espacio de nombres:

System.Diagnostics.Contracts

Ensamblado:

mscorlib.dll

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

Sobrecargas

Nombre	Description
EnsuresOnThrow<TException>(Boolean)	Especifica un contrato posterior a la condición para el método o la propiedad envolventes, en función de la excepción y condición proporcionadas.
EnsuresOnThrow<TException>(Boolean, String)	Especifica un contrato postcondition y un mensaje que se va a mostrar si la condición es false para el método o la propiedad envolventes, en función de la excepción y condición proporcionadas.

EnsuresOnThrow<TException>(Boolean)

Especifica un contrato posterior a la condición para el método o la propiedad envolventes, en función 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

Tipo de excepción que invoca la comprobación posterior a la condición.

Parámetros

condition

Boolean

Expresión condicional que se va a probar.

Atributos

ConditionalAttribute

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 el método envolvente.

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

EnsuresOnThrow<TException>(Boolean, String)

Especifica un contrato postcondition y un mensaje que se va a mostrar si la condición es false para el método o la propiedad envolventes, en función 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")>]
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

Tipo de excepción que invoca la comprobación posterior a la condición.

Parámetros

condition

Boolean

Expresión condicional que se va a probar.

userMessage

String

Mensaje que se va a mostrar si la expresión es false.

Atributos

ConditionalAttribute

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 el 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 entiendan el contrato.