Share via


PexExplorableMutatorAttribute.GetMutatorProvider Method

Definition

Gets the explorable mutators.

public:
 virtual Microsoft::Pex::Engine::Explorable::IPexExplorableTypeMutatorProvider ^ GetMutatorProvider(Microsoft::Pex::Engine::ComponentModel::IPexExplorationComponent ^ host, Microsoft::ExtendedReflection::Metadata::TypeEx ^ explorableType);
public Microsoft.Pex.Engine.Explorable.IPexExplorableTypeMutatorProvider GetMutatorProvider (Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent host, Microsoft.ExtendedReflection.Metadata.TypeEx explorableType);
abstract member GetMutatorProvider : Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent * Microsoft.ExtendedReflection.Metadata.TypeEx -> Microsoft.Pex.Engine.Explorable.IPexExplorableTypeMutatorProvider
override this.GetMutatorProvider : Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent * Microsoft.ExtendedReflection.Metadata.TypeEx -> Microsoft.Pex.Engine.Explorable.IPexExplorableTypeMutatorProvider
Public Function GetMutatorProvider (host As IPexExplorationComponent, explorableType As TypeEx) As IPexExplorableTypeMutatorProvider

Parameters

host
Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent

The host.

explorableType
Microsoft.ExtendedReflection.Metadata.TypeEx

Type of the explorable.

Returns

Microsoft.Pex.Engine.Explorable.IPexExplorableTypeMutatorProvider

Implements

Microsoft.Pex.Engine.Explorable.IPexExplorableMutatorFactory.GetMutatorProvider(Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent,Microsoft.ExtendedReflection.Metadata.TypeEx)

Applies to