次の方法で共有


PexExplorableAttributeBase.AfterExploration Method

Definition

Callback that is executed after the exploration ends.

protected:
 override void AfterExploration(Microsoft::Pex::Engine::ComponentModel::IPexExplorationComponent ^ host, System::Object ^ data);
protected override sealed void AfterExploration (Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent host, object data);
override this.AfterExploration : Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent * obj -> unit
Protected Overrides NotOverridable Sub AfterExploration (host As IPexExplorationComponent, data As Object)

Parameters

host
Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent

The host.

data
Object

The data returned by BeforeExploration.

Applies to