PexExplorationPackageAttributeBase.IPexExplorationPackage.Initialize Method

Definition

 virtual void Microsoft.Pex.Engine.Packages.IPexExplorationPackage.Initialize(Microsoft::Pex::Engine::ComponentModel::IPexExplorationEngine ^ host) = Microsoft::Pex::Engine::Packages::IPexExplorationPackage::Initialize;
void IPexExplorationPackage.Initialize (Microsoft.Pex.Engine.ComponentModel.IPexExplorationEngine host);
abstract member Microsoft.Pex.Engine.Packages.IPexExplorationPackage.Initialize : Microsoft.Pex.Engine.ComponentModel.IPexExplorationEngine -> unit
override this.Microsoft.Pex.Engine.Packages.IPexExplorationPackage.Initialize : Microsoft.Pex.Engine.ComponentModel.IPexExplorationEngine -> unit
Sub Initialize (host As IPexExplorationEngine) Implements IPexExplorationPackage.Initialize

Parameters

host
Microsoft.Pex.Engine.ComponentModel.IPexExplorationEngine

Implements

Microsoft.Pex.Engine.Packages.IPexExplorationPackage.Initialize(Microsoft.Pex.Engine.ComponentModel.IPexExplorationEngine)

Applies to