IPexMethodCallChoiceSession Interface

Definition

This interface can be queried by a mock object to decide on the behavior of a method call.

public interface class IPexMethodCallChoiceSession : Microsoft::Pex::Framework::Choices::IPexChoiceSession
public interface IPexMethodCallChoiceSession : Microsoft.Pex.Framework.Choices.IPexChoiceSession
type IPexMethodCallChoiceSession = interface
    interface IPexChoiceSession
Public Interface IPexMethodCallChoiceSession
Implements IPexChoiceSession
Implements

Methods

ChooseEnumValue<T>(String)

Returns a value compatible with the Enum definition

(Inherited from IPexChoiceSession)
ChooseException()

Returns an exception (not null)

ChooseException(Boolean, Type[])

Returns an exception that has one of the specified types

ChooseExceptionFromSubtypes(Type[])

Returns an exception that has one of the specified types

ChooseExceptionFromTypes(Type[])

Returns an exception that has one of the specified types

ChooseHResult()

Returns a choice of valid HRESULT value.

ChooseIndexValue<T>(String, T[])

Returns a integer in the array indexable length

(Inherited from IPexChoiceSession)
ChooseResult<T>()

Chooses the result value.

ChooseResultNotNull<T>()

Chooses the result value, assuming it is not null.

ChooseThrowException()

Chooses whether the method should throw an exception.

ChooseValue<T>(String)

Returns a value compatible with the type parameter.

(Inherited from IPexChoiceSession)
ChooseValue<T>(String, Boolean, Boolean, Type[])

Returns a value compatible with the type parameter.

(Inherited from IPexChoiceSession)
ChooseValueAtReturn<T>(Int32)

Chooses the value of an out-parameter.

ChooseValueFrom<T>(String, T[])

Returns a value of a set of possible values.

(Inherited from IPexChoiceSession)
ChooseValueFromRange(String, Int32, Int32)

Returns a value within a range.

(Inherited from IPexChoiceSession)
ChooseValueNotNull<T>(String)

Returns a value compatible with the type parameter.

(Inherited from IPexChoiceSession)

Applies to