次の方法で共有


IPexChoiceRecorder.OnCall(Int32, String) Method

Definition

Retrieves an oracle builder for a given method.

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

Parameters

time
Int32

The time.

methodId
String

The method id.

Returns

Applies to