PexExplorationGoalAttributeBase.Initialize(IPexExplorationEngine) Method

Definition

Initializes the specified exploration package. May interact with services.

protected:
 override void Initialize(Microsoft::Pex::Engine::ComponentModel::IPexExplorationEngine ^ host);
protected override sealed void Initialize (Microsoft.Pex.Engine.ComponentModel.IPexExplorationEngine host);
override this.Initialize : Microsoft.Pex.Engine.ComponentModel.IPexExplorationEngine -> unit
Protected Overrides NotOverridable Sub Initialize (host As IPexExplorationEngine)

Parameters

host
Microsoft.Pex.Engine.ComponentModel.IPexExplorationEngine

The host.

Applies to