Share via

IPexMethodCallChoiceSessionBuilder.ValueAtReturn(Int32, Object) Method

  • Reference

Definition

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

Sets an expected out-parameter value.

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

Parameters

index
Int32
value
Object

Returns

IPexMethodCallChoiceSessionBuilder

Returns IPexMethodCallChoiceSessionBuilder.

Applies to