IPexMethodCallChoiceSessionBuilder.ExpectParameter(Int32, Object) Method

  • Reference

Definition

Namespace:
Microsoft.Pex.Framework.Generated
Assembly:
Microsoft.Pex.Framework.dll

Sets an expected parameter value.

public:
 Microsoft::Pex::Framework::Generated::IPexMethodCallChoiceSessionBuilder ^ ExpectParameter(int index, System::Object ^ value);
public Microsoft.Pex.Framework.Generated.IPexMethodCallChoiceSessionBuilder ExpectParameter (int index, object value);
abstract member ExpectParameter : int * obj -> Microsoft.Pex.Framework.Generated.IPexMethodCallChoiceSessionBuilder
Public Function ExpectParameter (index As Integer, value As Object) As IPexMethodCallChoiceSessionBuilder

Parameters

index
Int32
value
Object

Returns

IPexMethodCallChoiceSessionBuilder

Returns IPexMethodCallChoiceSessionBuilder.

Applies to