PexExplorableStrategyAttributeBase.CreateSession(IPexExplorationComponent, TypeEx) Método
Definição
Importante
Algumas informações se referem a produtos de pré-lançamento que podem ser substancialmente modificados antes do lançamento. A Microsoft não oferece garantias, expressas ou implícitas, das informações aqui fornecidas.
Cria uma nova sessão.
public:
abstract Microsoft::Pex::Engine::Explorable::IPexExplorableStrategySession ^ CreateSession(Microsoft::Pex::Engine::ComponentModel::IPexExplorationComponent ^ host, Microsoft::ExtendedReflection::Metadata::TypeEx ^ explorableType);
public abstract Microsoft.Pex.Engine.Explorable.IPexExplorableStrategySession CreateSession (Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent host, Microsoft.ExtendedReflection.Metadata.TypeEx explorableType);
abstract member CreateSession : Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent * Microsoft.ExtendedReflection.Metadata.TypeEx -> Microsoft.Pex.Engine.Explorable.IPexExplorableStrategySession
Public MustOverride Function CreateSession (host As IPexExplorationComponent, explorableType As TypeEx) As IPexExplorableStrategySession
Parâmetros
- host
- Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent
O host.
- explorableType
- Microsoft.ExtendedReflection.Metadata.TypeEx
O tipo.
Retornos
- Microsoft.Pex.Engine.Explorable.IPexExplorableStrategySession
Implementações
Microsoft.Pex.Engine.Explorable.IPexExplorableStrategy.CreateSession(Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent,Microsoft.ExtendedReflection.Metadata.TypeEx)