共用方式為

PexExplorableMutatorAttribute.ExplorableType Property

  • Reference

Definition

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

Gets the type to be created by exploration.

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

Property Value

Microsoft.ExtendedReflection.Metadata.TypeEx

Returns Microsoft.ExtendedReflection.Metadata.TypeEx.

Implements

Microsoft.Pex.Engine.Explorable.IPexExplorableTypeMutatorProvider.ExplorableType Microsoft.Pex.Engine.Explorable.IPexExplorableMutator.ExplorableType

Applies to