IPexChoiceRecorder.DefaultSession Özellik

  • Başvuru

Tanım

Ad Alanı:
Microsoft.Pex.Framework.Generated
Bütünleştirilmiş Kod:
Microsoft.Pex.Framework.dll
Bütünleştirilmiş Kod:

Varsayılan Oracle Oluşturucu oturumunu alır

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

Özellik Değeri

IPexChoiceSessionBuilder

Şunlara uygulanır