STrace.Implies メソッド

定義

指定された条件下で主張を生じさせます。

オーバーロード

名前 説明
Implies(Boolean, Boolean)

premisetrueconclusionfalseの場合、主張が発生します。

Implies(Boolean, Boolean, String)

premisetrueconclusionfalseされた場合にアサーションを発生させ、そのアサーションに関するメッセージを表示します。

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)

premisetrueconclusionfalseされた場合にアサーションを発生させ、そのアサーションに関するメッセージを表示します。

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

主張のメッセージ。

属性

適用対象