Contract.Requires 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 previa para un método o propiedad envolvente.
Sobrecargas
| Requires(Boolean) |
Especifica un contrato de condición previa para el método o propiedad envolvente. |
| Requires(Boolean, String) |
Especifica un contrato de condición previa para el método o propiedad envolvente, y muestra un mensaje si la condición del contrato da error. |
| Requires<TException>(Boolean) |
Especifica un contrato de condición previa para el método o propiedad envolvente, y produce una excepción si no se cumple la condición del contrato. |
| Requires<TException>(Boolean, String) |
Especifica un contrato de condición previa para el método o propiedad envolvente, y produce una excepción con el mensaje proporcionado si no se cumple la condición del contrato. |
Requires(Boolean)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
Especifica un contrato de condición previa para el método o propiedad envolvente.
public:
static void Requires(bool condition);[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires (bool condition);[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Requires : bool -> unitPublic Shared Sub Requires (condition As Boolean)Parámetros
- condition
- Boolean
Expresión condicional que se va a probar.
- Atributos
Comentarios
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.
Use este método en lugar del método cuando la Contract.Requires<TException>(Boolean) compatibilidad con versiones anteriores no le obliga a producir una excepción determinada.
Se aplica a
Requires(Boolean, String)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
Especifica un contrato de condición previa para el método o propiedad envolvente, y muestra un mensaje si la condición del contrato da error.
public:
static void Requires(bool condition, System::String ^ userMessage);[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires (bool condition, string userMessage);[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires (bool condition, string? userMessage);[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Requires : bool * string -> unitPublic Shared Sub Requires (condition As Boolean, userMessage As String)Parámetros
- condition
- Boolean
Expresión condicional que se va a probar.
- userMessage
- String
Mensaje que se va a mostrar si la condición es false.
- Atributos
Comentarios
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.
Use este método en lugar del método cuando la Contract.Requires<TException>(Boolean, String) compatibilidad con versiones anteriores no le obliga a producir una excepción determinada.
Se aplica a
Requires<TException>(Boolean)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
Especifica un contrato de condición previa para el método o propiedad envolvente, y produce una excepción si no se cumple la condición del contrato.
public:
generic <typename TException>
where TException : Exception static void Requires(bool condition);public static void Requires<TException> (bool condition) where TException : Exception;static member Requires : bool -> unit (requires 'Exception :> Exception)Public Shared Sub Requires(Of TException As Exception) (condition As Boolean)Parámetros de tipo
- TException
Excepción que se produce si la condición es false.
Parámetros
- condition
- Boolean
Expresión condicional que se va a probar.
Comentarios
Importante
Debe activar la comprobación en tiempo de ejecución para usar el Requires método . Si la comprobación en tiempo de ejecución está desactivada, se finalizará el proceso. Para obtener las herramientas para la comprobación en tiempo de ejecución, consulte Contratos de código en Visual Studio Marketplace.
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.
Use este método en lugar del Contract.Requires(Boolean) método cuando desee producir una excepción si se produce un error en la condición previa.
Se aplica a
Requires<TException>(Boolean, String)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
Especifica un contrato de condición previa para el método o propiedad envolvente, y produce una excepción con el mensaje proporcionado si no se cumple la condición del contrato.
public:
generic <typename TException>
where TException : Exception static void Requires(bool condition, System::String ^ userMessage);public static void Requires<TException> (bool condition, string userMessage) where TException : Exception;public static void Requires<TException> (bool condition, string? userMessage) where TException : Exception;static member Requires : bool * string -> unit (requires 'Exception :> Exception)Public Shared Sub Requires(Of TException As Exception) (condition As Boolean, userMessage As String)Parámetros de tipo
- TException
Excepción que se produce si la condición es false.
Parámetros
- condition
- Boolean
Expresión condicional que se va a probar.
- userMessage
- String
Mensaje que se va a mostrar si la condición es false.
Comentarios
-
Importante
Debe activar la comprobación en tiempo de ejecución para usar el Requires método . Si la comprobación en tiempo de ejecución está desactivada, se finalizará el proceso. Para obtener las herramientas para la comprobación en tiempo de ejecución, consulte Contratos de código en Visual Studio Marketplace.
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.
Use este método en lugar del Contract.Requires(Boolean, String) método cuando desee producir una excepción si se produce un error en la condición previa.
