STrace.Implies Metodo

Definizione

Genera un'asserzione in base a condizioni specificate.

Overload

Implies(Boolean, Boolean)

Genera un'asserzione se premise è true e conclusion è false.

Implies(Boolean, Boolean, String)

Genera un'asserzione se premise è true e conclusion è false e visualizza un messaggio sull'asserzione.

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

Si applica a