PexObserve.ValueForViewing Method

Definition

Namespace:

Microsoft.Pex.Framework

Assembly:

Microsoft.Pex.Framework.dll

Overloads

ValueForViewing(String, String)	Logs a string value in the parameter table.
ValueForViewing(String, String, Object[])	Logs a value in the parameter table.
ValueForViewing<T>(String, T)	Logs a value of T in the parameter table.

ValueForViewing(String, String)

Logs a string value in the parameter table.

public:
 static void ValueForViewing(System::String ^ name, System::String ^ value);

public static void ValueForViewing (string name, string value);

static member ValueForViewing : string * string -> unit

Public Shared Sub ValueForViewing (name As String, value As String)

Parameters

name

String

The value's name.

value

String

A string value.

ValueForViewing(String, String, Object[])

Logs a value in the parameter table.

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

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

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

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

Parameters

name

String

The value's name.

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.

ValueForViewing<T>(String, T)

Logs a value of T in the parameter table.

public:
generic <typename T>
 static void ValueForViewing(System::String ^ name, T value);

public static void ValueForViewing<T> (string name, T value);

static member ValueForViewing : string * 'T -> unit

Public Shared Sub ValueForViewing(Of T) (name As String, value As T)

Type Parameters

T

The value's type.

Parameters

name

String

The value's name.

value

T

A value of type T.