Share via


IPexMethodCallChoiceSessionBuilder Interface

Definition

This interface is used to define the behavior of mock objects at the beginning of a test.

public interface class IPexMethodCallChoiceSessionBuilder : Microsoft::Pex::Framework::Generated::IPexChoiceSessionBuilder
public interface IPexMethodCallChoiceSessionBuilder : Microsoft.Pex.Framework.Generated.IPexChoiceSessionBuilder
type IPexMethodCallChoiceSessionBuilder = interface
    interface IPexChoiceSessionBuilder
Public Interface IPexMethodCallChoiceSessionBuilder
Implements IPexChoiceSessionBuilder
Implements

Methods

At(Int32, String, Object)

Sets a free choice.

(Inherited from IPexChoiceSessionBuilder)
ExpectParameter(Int32, Object)

Sets an expected parameter value.

Returns(Object)

Sets a result value.

Thrown(Exception)

Sets whether the method should throw an exception.

Throws(Boolean)

Sets whether the method should throw an exception.

ValueAtReturn(Int32, Object)

Sets an expected out-parameter value.

Applies to