Share via


IPexChoiceRecorder.Session(Int32, String) Method

Definition

Gets the oracle builder for a session.

public:
 Microsoft::Pex::Framework::Generated::IPexChoiceSessionBuilder ^ Session(int time, System::String ^ description);
public Microsoft.Pex.Framework.Generated.IPexChoiceSessionBuilder Session (int time, string description);
abstract member Session : int * string -> Microsoft.Pex.Framework.Generated.IPexChoiceSessionBuilder
Public Function Session (time As Integer, description As String) As IPexChoiceSessionBuilder

Parameters

time
Int32

The time of the session.

description
String

The description of the session.

Returns

Applies to