Contract.Requires Método

Definición

Espacio de nombres:

System.Diagnostics.Contracts

Ensamblado:

System.Diagnostics.Contracts.dll

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

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

Requires(Boolean, String)

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")>]
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 obliga a producir una excepción determinada.

Requires<TException>(Boolean)

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.

Requires<TException>(Boolean, String)

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;

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.