STrace.Implies 方法
定義
重要
部分資訊涉及發行前產品,在發行之前可能會有大幅修改。 Microsoft 對此處提供的資訊,不做任何明確或隱含的瑕疵擔保。
在特定條件下引發斷言。
多載
| 名稱 | Description |
|---|---|
| Implies(Boolean, Boolean) |
若 |
| Implies(Boolean, Boolean, String) |
若是且 |
Implies(Boolean, Boolean)
若 premise 且 trueconclusion 為 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)
參數
- 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
斷言訊息。
- 屬性