IPexMethodCallChoiceSessionBuilder.Returns(Object) Method

Definition

Sets a result value.

public:
 Microsoft::Pex::Framework::Generated::IPexMethodCallChoiceSessionBuilder ^ Returns(System::Object ^ value);
public Microsoft.Pex.Framework.Generated.IPexMethodCallChoiceSessionBuilder Returns (object value);
abstract member Returns : obj -> Microsoft.Pex.Framework.Generated.IPexMethodCallChoiceSessionBuilder
Public Function Returns (value As Object) As IPexMethodCallChoiceSessionBuilder

Parameters

value
Object

Returns

Returns IPexMethodCallChoiceSessionBuilder.

Applies to