PexCrossProductExplorableStrategyAttribute.CreateSession 方法

参考

定义

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

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

程序集:

重要

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

创建新会话。

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

适用于