PexPackageAttributeBase.IPexPackage.Initialize(IEngine) Method

Definition

 virtual void Microsoft.Pex.Engine.Packages.IPexPackage.Initialize(Microsoft::ExtendedReflection::ComponentModel::IEngine ^ engine) = Microsoft::Pex::Engine::Packages::IPexPackage::Initialize;
void IPexPackage.Initialize (Microsoft.ExtendedReflection.ComponentModel.IEngine engine);
abstract member Microsoft.Pex.Engine.Packages.IPexPackage.Initialize : Microsoft.ExtendedReflection.ComponentModel.IEngine -> unit
override this.Microsoft.Pex.Engine.Packages.IPexPackage.Initialize : Microsoft.ExtendedReflection.ComponentModel.IEngine -> unit
Sub Initialize (engine As IEngine) Implements IPexPackage.Initialize

Parameters

engine
Microsoft.ExtendedReflection.ComponentModel.IEngine

Implements

Microsoft.Pex.Engine.Packages.IPexPackage.Initialize(Microsoft.ExtendedReflection.ComponentModel.IEngine)

Applies to