PexExplorableFromFactoriesAttributeBase.GetUncachedExplorableMethods Method

Definition

Gets the list of explorable methods from a type

protected:
 static void GetUncachedExplorableMethods(Microsoft::Pex::Engine::ComponentModel::IPexComponent ^ host, Microsoft::ExtendedReflection::Collections::SafeList<Microsoft::Pex::Engine::Explorable::IPexExplorable ^> ^ explorables, Microsoft::ExtendedReflection::Metadata::VisibilityContext ^ visibility, Microsoft::ExtendedReflection::Metadata::TypeDefinition ^ typeDefinition);
protected static void GetUncachedExplorableMethods (Microsoft.Pex.Engine.ComponentModel.IPexComponent host, Microsoft.ExtendedReflection.Collections.SafeList<Microsoft.Pex.Engine.Explorable.IPexExplorable> explorables, Microsoft.ExtendedReflection.Metadata.VisibilityContext visibility, Microsoft.ExtendedReflection.Metadata.TypeDefinition typeDefinition);
static member GetUncachedExplorableMethods : Microsoft.Pex.Engine.ComponentModel.IPexComponent * Microsoft.ExtendedReflection.Collections.SafeList<Microsoft.Pex.Engine.Explorable.IPexExplorable> * Microsoft.ExtendedReflection.Metadata.VisibilityContext * Microsoft.ExtendedReflection.Metadata.TypeDefinition -> unit
Protected Shared Sub GetUncachedExplorableMethods (host As IPexComponent, explorables As SafeList(Of IPexExplorable), visibility As VisibilityContext, typeDefinition As TypeDefinition)

Parameters

host
Microsoft.Pex.Engine.ComponentModel.IPexComponent
explorables
Microsoft.ExtendedReflection.Collections.SafeList<Microsoft.Pex.Engine.Explorable.IPexExplorable>
visibility
Microsoft.ExtendedReflection.Metadata.VisibilityContext
typeDefinition
Microsoft.ExtendedReflection.Metadata.TypeDefinition

Applies to