Contract.Assume Método

Definición

Espacio de nombres:

System.Diagnostics.Contracts

Ensamblado:

System.Diagnostics.Contracts.dll

Indica a las herramientas de análisis de código que supongan que una condición es true, aun cuando no se pueda demostrar estáticamente que siempre sea true.

Sobrecargas

Assume(Boolean)	Indica a las herramientas de análisis de código que supongan que la condición especificada es true, aun cuando no se pueda demostrar estáticamente que siempre sea true.
Assume(Boolean, String)	Indica a las herramientas de análisis de código que supongan que una condición es true, aun cuando no se puede demostrar estáticamente que siempre es true, y muestra un mensaje si la hipótesis es errónea.

Assume(Boolean)

Source:

Contracts.cs

Indica a las herramientas de análisis de código que supongan que la condición especificada es true, aun cuando no se pueda demostrar estáticamente que siempre sea true.

public:
 static void Assume(bool condition);

[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assume (bool condition);

[<System.Diagnostics.Conditional("DEBUG")>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Assume : bool -> unit

Public Shared Sub Assume (condition As Boolean)

Parámetros

condition

Boolean

Expresión condicional que se supone que es true.

Atributos

ConditionalAttribute

Comentarios

En tiempo de ejecución, el uso de este método es equivalente al uso del Assert(Boolean) método .

Assume(Boolean, String)

Source:

Contracts.cs

Indica a las herramientas de análisis de código que supongan que una condición es true, aun cuando no se puede demostrar estáticamente que siempre es true, y muestra un mensaje si la hipótesis es errónea.

public:
 static void Assume(bool condition, System::String ^ userMessage);

[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assume (bool condition, string? userMessage);

[<System.Diagnostics.Conditional("DEBUG")>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Assume : bool * string -> unit

Public Shared Sub Assume (condition As Boolean, userMessage As String)

Parámetros

condition

Boolean

Expresión condicional que se supone que es true.

userMessage

String

Mensaje que se muestra si se produce un error en la suposición.

Atributos

ConditionalAttribute

Comentarios

Si userMessage no es un literal de cadena constante, es posible que las herramientas no comprendan el contrato.

En tiempo de ejecución, el uso de este método es equivalente al uso del Assert(Boolean, String) método .