Partager via

PexExplorableMutatorAttribute.InstanceMethod Property

  • Reference

Definition

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

Gets the method which mutates an instance of the desired type.

public:
 property Microsoft::ExtendedReflection::Metadata::Method ^ InstanceMethod { Microsoft::ExtendedReflection::Metadata::Method ^ get(); };
public Microsoft.ExtendedReflection.Metadata.Method InstanceMethod { get; }
member this.InstanceMethod : Microsoft.ExtendedReflection.Metadata.Method
Public ReadOnly Property InstanceMethod As Method

Property Value

Microsoft.ExtendedReflection.Metadata.Method

Returns Microsoft.ExtendedReflection.Metadata.Method.

Implements

Microsoft.Pex.Engine.Explorable.IPexExplorableMutator.InstanceMethod

Applies to