STrace.Implies Metodo
Definizione
Importante
Alcune informazioni sono relative alla release non definitiva del prodotto, che potrebbe subire modifiche significative prima della release definitiva. Microsoft non riconosce alcuna garanzia, espressa o implicita, in merito alle informazioni qui fornite.
Genera un'asserzione in base a condizioni specificate.
Overload
| Implies(Boolean, Boolean) |
Genera un'asserzione se |
| Implies(Boolean, Boolean, String) |
Genera un'asserzione se |
Implies(Boolean, Boolean)
Genera un'asserzione se premise è true e conclusion è 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)
Parametri
- premise
- Boolean
Premessa booleana dell'implicazione.
- conclusion
- Boolean
Conclusione booleana dell'implicazione.
- Attributi
Si applica a
Implies(Boolean, Boolean, String)
Genera un'asserzione se premise è true e conclusion è false e visualizza un messaggio sull'asserzione.
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)
Parametri
- premise
- Boolean
Premessa booleana dell'implicazione.
- conclusion
- Boolean
Conclusione booleana dell'implicazione.
- message
- String
Messaggio dell'asserzione.
- Attributi