IPexChoiceRecorder.Session(Int32, String) Method
Definition
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
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.IPexChoiceSessionBuilderPublic Function Session (time As Integer, description As String) As IPexChoiceSessionBuilderParameters
- time
- Int32
The time of the session.
- description
- String
The description of the session.