PexExplorableStrategyAttributeBase.CreateSession 方法

参考

定义

命名空间:: Microsoft.Pex.Framework.Explorable

程序集:: Microsoft.Pex.Framework.dll

程序集:

重要

一些信息与预发行产品相关，相应产品在发行之前可能会进行重大修改。对于此处提供的信息，Microsoft 不作任何明示或暗示的担保。

创建新会话。

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)

适用于

PexExplorableStrategyAttributeBase.CreateSession 方法

此页面有帮助吗?

定义

参数

返回

实现

适用于