Share via


PexExplorableMutatorAttribute.GetExplorableMutators(Method) Method

Definition

Gets the explorable mutators.

public:
 virtual Microsoft::ExtendedReflection::Collections::IIndexable<Microsoft::Pex::Engine::Explorable::IPexExplorableMutator ^> ^ GetExplorableMutators(Microsoft::ExtendedReflection::Metadata::Method ^ targetMethod);
public Microsoft.ExtendedReflection.Collections.IIndexable<Microsoft.Pex.Engine.Explorable.IPexExplorableMutator> GetExplorableMutators (Microsoft.ExtendedReflection.Metadata.Method targetMethod);
abstract member GetExplorableMutators : Microsoft.ExtendedReflection.Metadata.Method -> Microsoft.ExtendedReflection.Collections.IIndexable<Microsoft.Pex.Engine.Explorable.IPexExplorableMutator>
override this.GetExplorableMutators : Microsoft.ExtendedReflection.Metadata.Method -> Microsoft.ExtendedReflection.Collections.IIndexable<Microsoft.Pex.Engine.Explorable.IPexExplorableMutator>
Public Function GetExplorableMutators (targetMethod As Method) As IIndexable(Of IPexExplorableMutator)

Parameters

targetMethod
Microsoft.ExtendedReflection.Metadata.Method

The target method.

Returns

Microsoft.ExtendedReflection.Collections.IIndexable<Microsoft.Pex.Engine.Explorable.IPexExplorableMutator>

Implements

Microsoft.Pex.Engine.Explorable.IPexExplorableTypeMutatorProvider.GetExplorableMutators(Microsoft.ExtendedReflection.Metadata.Method)

Applies to