Partager via


IPexMethodCallChoiceSessionBuilder.Thrown(Exception) Method

Definition

Sets whether the method should throw an exception.

public:
 Microsoft::Pex::Framework::Generated::IPexMethodCallChoiceSessionBuilder ^ Thrown(Exception ^ exception);
public Microsoft.Pex.Framework.Generated.IPexMethodCallChoiceSessionBuilder Thrown (Exception exception);
abstract member Thrown : Exception -> Microsoft.Pex.Framework.Generated.IPexMethodCallChoiceSessionBuilder
Public Function Thrown (exception As Exception) As IPexMethodCallChoiceSessionBuilder

Parameters

exception
Exception

Returns

Returns IPexMethodCallChoiceSessionBuilder.

Applies to