Share via


PexExecutionPackageAttributeBase.IPexExecutionPackage.AfterExecution Method

Definition

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

Parameters

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

Implements

Microsoft.Pex.Engine.Packages.IPexExecutionPackage.AfterExecution(Microsoft.Pex.Engine.ComponentModel.IPexComponent,System.Object)

Applies to