Contract.Assume 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í.
Indica a las herramientas de análisis de código que asuman que una condición es true, incluso si no se puede demostrar estáticamente que siempre es true.
Sobrecargas
| Nombre | Description |
|---|---|
| Assume(Boolean) |
Indica a las herramientas de análisis de código que asuman que la condición especificada es |
| Assume(Boolean, String) |
Indica a las herramientas de análisis de código que asuman que una condición es |
Assume(Boolean)
Indica a las herramientas de análisis de código que asuman que la condición especificada es true, incluso si no se puede demostrar estáticamente que siempre es 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 -> unitPublic Shared Sub Assume (condition As Boolean)Parámetros
- condition
- Boolean
Expresión condicional que se va a asumir 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)
Indica a las herramientas de análisis de código que asuman que una condición es true, incluso si no se puede demostrar estáticamente que siempre es true, y muestra un mensaje si se produce un error en la suposición.
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 -> unitPublic Shared Sub Assume (condition As Boolean, userMessage As String)Parámetros
- condition
- Boolean
Expresión condicional que se va a asumir true.
- userMessage
- String
Mensaje que se va a publicar 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 entiendan el contrato.
En tiempo de ejecución, el uso de este método es equivalente al uso del Assert(Boolean, String) método .