PexAssert.IsTrue Method

Definition

Namespace:

Microsoft.Pex.Framework

Assembly:

Microsoft.Pex.Framework.dll

Overloads

IsTrue(Boolean)	Asserts that the condition evaluates to true.
IsTrue(Boolean, String)	Asserts that the condition evaluates to true, with a specified message and format in the exception object.
IsTrue(Boolean, String, Object[])	Asserts that the condition evaluates to true, with a specified message in the exception object.

IsTrue(Boolean)

Asserts that the condition evaluates to true.

public:
 static void IsTrue(bool condition);

public static void IsTrue (bool condition);

static member IsTrue : bool -> unit

Public Shared Sub IsTrue (condition As Boolean)

Parameters

condition

Boolean

A Boolean condition.

Exceptions

PexAssertFailedException

If the condition evaluates to false.

IsTrue(Boolean, String)

Asserts that the condition evaluates to true, with a specified message and format in the exception object.

public:
 static void IsTrue(bool condition, System::String ^ message);

public static void IsTrue (bool condition, string message);

static member IsTrue : bool * string -> unit

Public Shared Sub IsTrue (condition As Boolean, message As String)

Parameters

condition

Boolean

A Boolean condition.

message

String

The message string.

Exceptions

PexAssertFailedException

If the condition evaluates to false.

IsTrue(Boolean, String, Object[])

Asserts that the condition evaluates to true, with a specified message in the exception object.

public:
 static void IsTrue(bool condition, System::String ^ format, ... cli::array <System::Object ^> ^ args);

public static void IsTrue (bool condition, string format, params object[] args);

static member IsTrue : bool * string * obj[] -> unit

Public Shared Sub IsTrue (condition As Boolean, format As String, ParamArray args As Object())

Parameters

condition

Boolean

A Boolean condition.

format

String

A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the args array.

args

Object[]

One or more variables. whose values are to be inserted in format.

Exceptions

PexAssertFailedException

If the condition evaluates to false.