STrace.Implies Method
Definition
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
Causes an assertion under specified conditions.
Overloads
| Name | Description |
|---|---|
| Implies(Boolean, Boolean) |
Causes an assertion if |
| Implies(Boolean, Boolean, String) |
Causes an assertion if |
Implies(Boolean, Boolean)
Causes an assertion if premise is true and conclusion is 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)
Parameters
- premise
- Boolean
The boolean premise of the implication.
- conclusion
- Boolean
The boolean conclusion of the implication.
- Attributes
Applies to
Implies(Boolean, Boolean, String)
Causes an assertion if premise is true and conclusion is false and displays a message about the assertion.
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)
Parameters
- premise
- Boolean
The boolean premise of the implication.
- conclusion
- Boolean
The boolean conclusion of the implication.
- message
- String
The assertion message.
- Attributes