STrace.Implies メソッド

定義

指定された条件でアサーションを発生させます。

オーバーロード

Implies(Boolean, Boolean)

premisetrue で、かつ conclusionfalse の場合にアサーションを発生させます。

Implies(Boolean, Boolean, String)

premisetrue で、かつ conclusionfalse の場合にアサーションを発生させ、アサーションに関するメッセージを表示します。

Implies(Boolean, Boolean)

premisetrue で、かつ conclusionfalse の場合にアサーションを発生させます。

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)

premisetrue で、かつ conclusionfalse の場合にアサーションを発生させ、アサーションに関するメッセージを表示します。

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

アサーション メッセージ。

属性

適用対象