STrace.Implies Método

Definição

Causa uma afirmação sob condições específicas.

Sobrecargas

Nome Description
Implies(Boolean, Boolean)

Causa uma afirmação se premise é true e conclusion é false.

Implies(Boolean, Boolean, String)

Causa uma afirmação se premise for true e conclusion for false e exibe uma mensagem sobre a afirmação.

Implies(Boolean, Boolean)

Causa uma afirmação 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)

Parâmetros

premise
Boolean

A premissa booleana da implicação.

conclusion
Boolean

A conclusão booleana da implicação.

Atributos

Aplica-se a

Implies(Boolean, Boolean, String)

Causa uma afirmação se premise for true e conclusion for false e exibe uma mensagem sobre a afirmação.

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

A premissa booleana da implicação.

conclusion
Boolean

A conclusão booleana da implicação.

message
String

A mensagem de afirmação.

Atributos

Aplica-se a