STrace.Implies Metode

Definisi

Menyebabkan pernyataan dalam kondisi yang ditentukan.

Overload

Implies(Boolean, Boolean)

Menyebabkan pernyataan jika premise adalah true dan conclusion adalah false.

Implies(Boolean, Boolean, String)

Menyebabkan pernyataan jika premise adalah true dan conclusion adalah false dan menampilkan pesan tentang pernyataan tersebut.

Implies(Boolean, Boolean)

Menyebabkan pernyataan jika premise adalah true dan conclusion adalah 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)

Parameter

premise
Boolean

Premis boolean dari implikasi.

conclusion
Boolean

Kesimpulan boolean dari implikasi.

Atribut

Berlaku untuk

Implies(Boolean, Boolean, String)

Menyebabkan pernyataan jika premise adalah true dan conclusion adalah false dan menampilkan pesan tentang pernyataan tersebut.

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)

Parameter

premise
Boolean

Premis boolean dari implikasi.

conclusion
Boolean

Kesimpulan boolean dari implikasi.

message
String

Pesan pernyataan.

Atribut

Berlaku untuk