STrace.Implies Méthode
Définition
Important
Certaines informations portent sur la préversion du produit qui est susceptible d’être en grande partie modifiée avant sa publication. Microsoft exclut toute garantie, expresse ou implicite, concernant les informations fournies ici.
Provoque une affirmation dans des conditions spécifiées.
Surcharges
| Nom | Description |
|---|---|
| Implies(Boolean, Boolean) |
Provoque une assertion si |
| Implies(Boolean, Boolean, String) |
Provoque une assertion si |
Implies(Boolean, Boolean)
Provoque une assertion si premise est true et conclusion est 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)
Paramètres
- premise
- Boolean
La prémisse booléenne de l’implication.
- conclusion
- Boolean
La conclusion booléenne de l’implication.
- Attributs
S’applique à
Implies(Boolean, Boolean, String)
Provoque une assertion si premise est true et conclusion est false et affiche un message à propos de l’assertion.
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)
Paramètres
- premise
- Boolean
La prémisse booléenne de l’implication.
- conclusion
- Boolean
La conclusion booléenne de l’implication.
- message
- String
Le message d’affirmation.
- Attributs