STrace.Implies Метод
Определение
Важно!
Некоторые сведения относятся к предварительной версии продукта, в которую до выпуска могут быть внесены существенные изменения. Майкрософт не предоставляет никаких гарантий, явных или подразумеваемых, относительно приведенных здесь сведений.
Вызывает утверждение при заданных условиях.
Перегрузки
| Имя | Описание |
|---|---|
| Implies(Boolean, Boolean) |
Вызывает утверждение, если |
| Implies(Boolean, Boolean, String) |
Вызывает утверждение, если |
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
Сообщение утверждения.
- Атрибуты