PexObserve Class

Definition

Namespace:

Microsoft.Pex.Framework

Assembly:

Microsoft.Pex.Framework.dll

Static class that contains methods to record values computed during test execution.

public ref class PexObserve abstract sealed

public static class PexObserve

type PexObserve = class

Public Class PexObserve

Inheritance

Object

PexObserve

Remarks

As IntelliTest explores the code, PexObserve methods record IntelliTest-generated values using their formatted string representations. IntelliTest displays the values in Visual Studio and records them in the HTML reports.

Properties

Context

Gets the current observer context

Methods

IsInlineValidationSupported(Type)	Determines whether inline validation can be applied to this type.
NewTest()	Initializes a new test containing observed values.
NewTest(NamedValues, PexObservedValues)	Initializes a new test containing observed values.
Value<T>(String, T)	Logs a value for viewing and performs inline validation if the type is supported.
ValueAtEndOfTest<T>(String, T)	Logs the value at the end of a test
ValueForViewing(String, String, Object[])	Logs a value in the parameter table.
ValueForViewing(String, String)	Logs a string value in the parameter table.
ValueForViewing<T>(String, T)	Logs a value of T in the parameter table.