IPexMethodCallChoiceSession.ChooseValueAtReturn<T>(Int32) Method

Reference

Definition

Namespace:: Microsoft.Pex.Framework.Choices

Assembly:: Microsoft.Pex.Framework.dll

Important

Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.

Chooses the value of an out-parameter.

public:
generic <typename T>
 T ChooseValueAtReturn(int index);

public T ChooseValueAtReturn<T> (int index);

abstract member ChooseValueAtReturn : int -> 'T

Public Function ChooseValueAtReturn(Of T) (index As Integer) As T

Type Parameters

T

Parameters

index: Int32

Returns

Applies to

Share via