Compartir vía


Contract.Assume Método

Definición

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
Source:
Contracts.cs
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

Comentarios

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

Se aplica a

Assume(Boolean, String)

Source:
Contracts.cs
Source:
Contracts.cs
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")]
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

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 .

Se aplica a