STrace.Implies 方法

定義

在特定條件下引發斷言。

多載

名稱 Description
Implies(Boolean, Boolean)

premisetrueconclusionfalse,則會產生斷言。

Implies(Boolean, Boolean, String)

若是且trueconclusion為,premisefalse則會產生斷言,並顯示關於該斷言的訊息。

Implies(Boolean, Boolean)

premisetrueconclusionfalse,則會產生斷言。

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)

參數

premise
Boolean

這是蘊涵的布林前提。

conclusion
Boolean

這是布林式的推論結論。

屬性

適用於

Implies(Boolean, Boolean, String)

若是且trueconclusion為,premisefalse則會產生斷言,並顯示關於該斷言的訊息。

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)

參數

premise
Boolean

這是蘊涵的布林前提。

conclusion
Boolean

這是布林式的推論結論。

message
String

斷言訊息。

屬性

適用於