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)