PexAssert.IsNotNull Method

Definition

Namespace:

Microsoft.Pex.Framework

Assembly:

Microsoft.Pex.Framework.dll

Overloads

IsNotNull(Object)	Asserts that the object reference is not null.
IsNotNull(Object, String)	Asserts that the object reference is not null with a specified message in the exception object.
IsNotNull(Object, String, Object[])	Asserts that the object reference is not null with a specified message in the exception object.

IsNotNull(Object)

Asserts that the object reference is not null.

public:
 static void IsNotNull(System::Object ^ value);

public static void IsNotNull (object value);

static member IsNotNull : obj -> unit

Public Shared Sub IsNotNull (value As Object)

Parameters

value

Object

An object.

Exceptions

PexAssertFailedException

If the object reference is null.

IsNotNull(Object, String)

Asserts that the object reference is not null with a specified message in the exception object.

public:
 static void IsNotNull(System::Object ^ value, System::String ^ message);

public static void IsNotNull (object value, string message);

static member IsNotNull : obj * string -> unit

Public Shared Sub IsNotNull (value As Object, message As String)

Parameters

value

Object

An object.

message

String

A message string.

Exceptions

PexAssertFailedException

If the object reference is null.

IsNotNull(Object, String, Object[])

Asserts that the object reference is not null with a specified message in the exception object.

public:
 static void IsNotNull(System::Object ^ value, System::String ^ format, ... cli::array <System::Object ^> ^ args);

public static void IsNotNull (object value, string format, params object[] args);

static member IsNotNull : obj * string * obj[] -> unit

Public Shared Sub IsNotNull (value As Object, format As String, ParamArray args As Object())

Parameters

value

Object

An object.

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 object reference is null.