STrace.Implies Метод

Определение

Вызывает утверждение при заданных условиях.

Перегрузки

Имя Описание
Implies(Boolean, Boolean)

Вызывает утверждение, если premise есть true и conclusion есть false.

Implies(Boolean, Boolean, String)

Вызывает утверждение, если premise есть true и conclusion есть false , и отображает сообщение об этом утверждении.

Implies(Boolean, Boolean)

Вызывает утверждение, если premise есть true и conclusion есть 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)

Вызывает утверждение, если premise есть true и conclusion есть false , и отображает сообщение об этом утверждении.

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

Сообщение утверждения.

Атрибуты

Применяется к