STrace.Implies Méthode

Définition

Provoque une affirmation dans des conditions spécifiées.

Surcharges

Nom Description
Implies(Boolean, Boolean)

Provoque une assertion si premise est true et conclusion est false.

Implies(Boolean, Boolean, String)

Provoque une assertion si premise est true et conclusion est false et affiche un message à propos de l’assertion.

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

S’applique à