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
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