次の方法で共有


IPexChoiceRecorder.NextSegment(Int32) Method

Definition

notifies that a new invocation segment is about to start

public:
 Microsoft::Pex::Framework::Generated::IPexChoiceRecorder ^ NextSegment(int segmentIndex);
public Microsoft.Pex.Framework.Generated.IPexChoiceRecorder NextSegment (int segmentIndex);
abstract member NextSegment : int -> Microsoft.Pex.Framework.Generated.IPexChoiceRecorder
Public Function NextSegment (segmentIndex As Integer) As IPexChoiceRecorder

Parameters

segmentIndex
Int32

Returns

Applies to