PexAssume.IsNotNull Method

Definition

Namespace:

Microsoft.Pex.Framework

Assembly:

Microsoft.Pex.Framework.dll

Overloads

IsNotNull(Object, String)	The test case fails if the value is a null reference, with a specified message in the exception object.
IsNotNull(Object, String, Object[])	The test case fails if the value is a null reference, with a specified message in the exception object.
IsNotNull(Object)	The test case fails if the value is a null reference.

IsNotNull(Object, String)

The test case fails if the value is a null reference, 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

PexAssumeFailedException

If the value is a null reference.

IsNotNull(Object, String, Object[])

The test case fails if the value is a null reference, 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 the format string.

Exceptions

PexAssumeFailedException

If the value is a null reference.

IsNotNull(Object)

The test case fails if the value is a null reference.

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

PexAssumeFailedException

If the value is a null reference.