PexExplorationPackageAttributeBase.IPexExplorationPackage.AfterExploration Method

Definition

 virtual void Microsoft.Pex.Engine.Packages.IPexExplorationPackage.AfterExploration(Microsoft::Pex::Engine::ComponentModel::IPexExplorationComponent ^ host, System::Object ^ data) = Microsoft::Pex::Engine::Packages::IPexExplorationPackage::AfterExploration;
void IPexExplorationPackage.AfterExploration (Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent host, object data);
abstract member Microsoft.Pex.Engine.Packages.IPexExplorationPackage.AfterExploration : Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent * obj -> unit
override this.Microsoft.Pex.Engine.Packages.IPexExplorationPackage.AfterExploration : Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent * obj -> unit
Sub AfterExploration (host As IPexExplorationComponent, data As Object) Implements IPexExplorationPackage.AfterExploration

Parameters

host
Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent
data
Object

Implements

Microsoft.Pex.Engine.Packages.IPexExplorationPackage.AfterExploration(Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent,System.Object)

Applies to