PexExplorableStrategyAttributeBase.CreateSession(IPexExplorationComponent, TypeEx) Метод

Определение

Создает новый сеанс.

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

Параметры

host
Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent

Основное приложение.

explorableType
Microsoft.ExtendedReflection.Metadata.TypeEx

Тип.

Возвращаемое значение

Microsoft.Pex.Engine.Explorable.IPexExplorableStrategySession

Реализации

Microsoft.Pex.Engine.Explorable.IPexExplorableStrategy.CreateSession(Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent,Microsoft.ExtendedReflection.Metadata.TypeEx)

Применяется к