Contract.Requires Método

Definición

Espacio de nombres:: System.Diagnostics.Contracts

Ensamblados:: mscorlib.dll, System.Diagnostics.Contracts.dll

Ensamblado:: mscorlib.dll

Ensamblado:: netstandard.dll

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 envolventes.

Sobrecargas

Nombre	Description
Requires(Boolean)	Especifica un contrato de condición previa para el método o propiedad envolventes.
Requires(Boolean, String)	Especifica un contrato de condición previa para el método o la propiedad envolventes y muestra un mensaje si se produce un error en la condición del contrato.
Requires<TException>(Boolean)	Especifica un contrato de condición previa para el método o la propiedad envolventes y produce una excepción si se produce un error en la condición del contrato.
Requires<TException>(Boolean, String)	Especifica un contrato de condición previa para el método o la propiedad envolventes y produce una excepción con el mensaje proporcionado si se produce un error en la condición del contrato.

Requires(Boolean)

Especifica un contrato de condición previa para el método o propiedad envolventes.

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 -> unit

Public Shared Sub Requires (condition As Boolean)

Parámetros

condition: Boolean

Expresión condicional que se va a probar.

Atributos: ConditionalAttribute

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 obligue a producir una excepción determinada.

Se aplica a

Requires(Boolean, String)

Especifica un contrato de condición previa para el método o la propiedad envolventes y muestra un mensaje si se produce un error en la condición del contrato.

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")>]
static member Requires : bool * string -> unit

Public 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: ConditionalAttribute

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 obligue a producir una excepción determinada.

Se aplica a

Requires<TException>(Boolean)

Especifica un contrato de condición previa para el método o la propiedad envolventes y produce una excepción si se produce un error en 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 Code Contracts 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)

Especifica un contrato de condición previa para el método o la propiedad envolventes y produce una excepción con el mensaje proporcionado si se produce un error en 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;

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 Code Contracts 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.

Se aplica a

Comentarios

¿Le ha resultado útil esta página?