Share via


PexExplorableGuesserAttributeBase.AfterExecution Method

Definition

Callback that is executed after the execution ends.

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

Parameters

host
Microsoft.Pex.Engine.ComponentModel.IPexComponent

The host.

data
Object

The data returned by BeforeExecution(IPexComponent).

Applies to