PexAssert.Fail Method

Definition

Namespace:

Microsoft.Pex.Framework

Assembly:

Microsoft.Pex.Framework.dll

Overloads

Fail(String, Object[])	Asserts unconditionally, with a specified message and formatting for the exception object.
Fail(Exception, String)	Asserts unconditionally.
Fail(String)	Asserts unconditionally, with a specified message in the exception object.
Fail()	Asserts Fail unconditionally. Test will throw a PexAssertFailedException.

Fail(String, Object[])

Asserts unconditionally, with a specified message and formatting for the exception object.

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

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

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

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

Parameters

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

Always thrown.

Fail(Exception, String)

Asserts unconditionally.

public:
 static void Fail(Exception ^ ex, System::String ^ message);

public static void Fail (Exception ex, string message);

static member Fail : Exception * string -> unit

Public Shared Sub Fail (ex As Exception, message As String)

Parameters

ex

Exception

inner exception

message

String

Message to be displayed on failure.

Exceptions

PexAssertFailedException

Always thrown.

Fail(String)

Asserts unconditionally, with a specified message in the exception object.

public:
 static void Fail(System::String ^ message);

public static void Fail (string message);

static member Fail : string -> unit

Public Shared Sub Fail (message As String)

Parameters

message

String

The message string.

Exceptions

PexAssertFailedException

Always thrown.

Fail()

Asserts Fail unconditionally. Test will throw a PexAssertFailedException.

public:
 static void Fail();

public static void Fail ();

static member Fail : unit -> unit

Public Shared Sub Fail ()

Exceptions

PexAssertFailedException

Always thrown.