STrace.Implies 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í.
Causa una afirmación bajo condiciones específicas.
Sobrecargas
| Nombre | Description |
|---|---|
| Implies(Boolean, Boolean) |
Provoca una afirmación si |
| Implies(Boolean, Boolean, String) |
Provoca una afirmación si |
Implies(Boolean, Boolean)
Provoca una afirmación si premise es true y conclusion es false.
public:
static void Implies(bool premise, bool conclusion);
[System.Diagnostics.Conditional("DEBUG")]
public static void Implies(bool premise, bool conclusion);
[<System.Diagnostics.Conditional("DEBUG")>]
static member Implies : bool * bool -> unit
Public Shared Sub Implies (premise As Boolean, conclusion As Boolean)
Parámetros
- premise
- Boolean
La premisa booleana de la implicación.
- conclusion
- Boolean
La conclusión booleana de la implicación.
- Atributos
Se aplica a
Implies(Boolean, Boolean, String)
Provoca una afirmación si premise es true y conclusion es false y muestra un mensaje sobre la afirmación.
public:
static void Implies(bool premise, bool conclusion, System::String ^ message);
[System.Diagnostics.Conditional("DEBUG")]
public static void Implies(bool premise, bool conclusion, string message);
[<System.Diagnostics.Conditional("DEBUG")>]
static member Implies : bool * bool * string -> unit
Public Shared Sub Implies (premise As Boolean, conclusion As Boolean, message As String)
Parámetros
- premise
- Boolean
La premisa booleana de la implicación.
- conclusion
- Boolean
La conclusión booleana de la implicación.
- message
- String
El mensaje de afirmación.
- Atributos