Contract.EnsuresOnThrow Método
Definición
Importante
Parte de la información hace referencia a la versión preliminar del producto, que puede haberse modificado sustancialmente antes de lanzar la versión definitiva. Microsoft no otorga ninguna garantía, explícita o implícita, con respecto a la información proporcionada aquí.
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 |
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
userMessageno es un literal de cadena constante, es posible que las herramientas no comprendan el contrato.
