PexExplorableStrategyAttributeBase.CreateSession Method

Reference

Definition

Namespace:: Microsoft.Pex.Framework.Explorable

Assembly:: Microsoft.Pex.Framework.dll

Important

Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.

Creates a new session.

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

Parameters

host: Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent

The host.

explorableType: Microsoft.ExtendedReflection.Metadata.TypeEx

The type.

Returns

Microsoft.Pex.Engine.Explorable.IPexExplorableStrategySession

Implements

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

Applies to

Share via