PexCrossProductExplorableStrategyAttribute.CreateSession(IPexExplorationComponent, TypeEx) Метод
Определение
Важно!
Некоторые сведения относятся к предварительной версии продукта, в которую до выпуска могут быть внесены существенные изменения. Майкрософт не предоставляет никаких гарантий, явных или подразумеваемых, относительно приведенных здесь сведений.
Создает новый сеанс.
public:
override Microsoft::Pex::Engine::Explorable::IPexExplorableStrategySession ^ CreateSession(Microsoft::Pex::Engine::ComponentModel::IPexExplorationComponent ^ host, Microsoft::ExtendedReflection::Metadata::TypeEx ^ explorableType);
public override Microsoft.Pex.Engine.Explorable.IPexExplorableStrategySession CreateSession (Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent host, Microsoft.ExtendedReflection.Metadata.TypeEx explorableType);
override this.CreateSession : Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent * Microsoft.ExtendedReflection.Metadata.TypeEx -> Microsoft.Pex.Engine.Explorable.IPexExplorableStrategySession
Public Overrides 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