共用方式為


IPexChoiceRecorder.DefaultSession Property

Definition

Gets the default oracle builder session

public:
 property Microsoft::Pex::Framework::Generated::IPexChoiceSessionBuilder ^ DefaultSession { Microsoft::Pex::Framework::Generated::IPexChoiceSessionBuilder ^ get(); };
public Microsoft.Pex.Framework.Generated.IPexChoiceSessionBuilder DefaultSession { get; }
member this.DefaultSession : Microsoft.Pex.Framework.Generated.IPexChoiceSessionBuilder
Public ReadOnly Property DefaultSession As IPexChoiceSessionBuilder

Property Value

Returns IPexChoiceSessionBuilder.

Applies to