Share via

IPexMethodCallChoiceSessionBuilder.Thrown(Exception) Method

  • Reference

Definition

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

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

IPexMethodCallChoiceSessionBuilder

Returns IPexMethodCallChoiceSessionBuilder.

Applies to