Information
The topic you requested is included in another documentation set. For convenience, it's displayed below. Choose Switch to see the topic in its original location.

PexObserve Class

 

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

Namespace:   Microsoft.Pex.Framework
Assembly:  Microsoft.Pex.Framework (in Microsoft.Pex.Framework.dll)

System::Object
  Microsoft.Pex.Framework::PexObserve

public ref class PexObserve abstract sealed 

NameDescription
System_CAPS_pubpropertySystem_CAPS_staticContext

Gets the current observer context

NameDescription
System_CAPS_pubmethodSystem_CAPS_staticIsInlineValidationSupported(Type^)

Determines whether inline validation can be applied to this type.

System_CAPS_pubmethodSystem_CAPS_staticNewTest()

Initializes a new test containing observed values.

System_CAPS_pubmethodSystem_CAPS_staticNewTest(NamedValues^, PexObservedValues^)

Initializes a new test containing observed values.

System_CAPS_pubmethodSystem_CAPS_staticValue<T>(String^, T)

Logs a value for viewing and performs inline validation if the type is supported.

System_CAPS_pubmethodSystem_CAPS_staticValueAtEndOfTest<T>(String^, T)

Logs the value at the end of a test

System_CAPS_pubmethodSystem_CAPS_staticValueForViewing(String^, String^)

Logs a string value in the parameter table.

System_CAPS_pubmethodSystem_CAPS_staticValueForViewing(String^, String^, array<Object^>^)

Logs a value in the parameter table.

System_CAPS_pubmethodSystem_CAPS_staticValueForViewing<T>(String^, T)

Logs a value of T in the parameter table.

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

Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.

Return to top
Show: