共用方式為


PexObserve.Context Property

Definition

Gets the current observer context

public:
 static property Microsoft::Pex::Framework::Generated::IPexObserveContext ^ Context { Microsoft::Pex::Framework::Generated::IPexObserveContext ^ get(); };
public static Microsoft.Pex.Framework.Generated.IPexObserveContext Context { get; }
static member Context : Microsoft.Pex.Framework.Generated.IPexObserveContext
Public Shared ReadOnly Property Context As IPexObserveContext

Property Value

Returns IPexObserveContext.

Applies to