Share via


PexExecutionPackageAttributeBase Class

Definition

Abstract base class for exploration decorator attributes

public ref class PexExecutionPackageAttributeBase abstract : Microsoft::Pex::Framework::Packages::PexPackageAttributeBase, Microsoft::Pex::Engine::Packages::IPexExecutionPackage
[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class, AllowMultiple=true)]
public abstract class PexExecutionPackageAttributeBase : Microsoft.Pex.Framework.Packages.PexPackageAttributeBase, Microsoft.Pex.Engine.Packages.IPexExecutionPackage
[<System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class, AllowMultiple=true)>]
type PexExecutionPackageAttributeBase = class
    inherit PexPackageAttributeBase
    interface IPexExecutionPackage
    interface IPexPackage
Public MustInherit Class PexExecutionPackageAttributeBase
Inherits PexPackageAttributeBase
Implements IPexExecutionPackage
Inheritance
PexExecutionPackageAttributeBase
Derived
Attributes
Implements
Microsoft.Pex.Engine.Packages.IPexExecutionPackage Microsoft.Pex.Engine.Packages.IPexPackage

Constructors

PexExecutionPackageAttributeBase()

Initializes a new instance of the PexPackageAttributeBase class.

Properties

Name

Gets the name of this package.

(Inherited from PexPackageAttributeBase)

Methods

AfterExecution(IPexComponent, Object)

Callback that is executed after the execution ends.

BeforeExecution(IPexComponent)

Callback that is executed before the execution starts.

Initialize(IEngine)

this method provides the opportunity to query services and interact with them.

(Inherited from PexPackageAttributeBase)
Load(IContainer)

This method provides the opportunity install or substitute services.

(Inherited from PexPackageAttributeBase)

Explicit Interface Implementations

IPexExecutionPackage.AfterExecution(IPexComponent, Object)
IPexExecutionPackage.BeforeExecution(IPexComponent)
IPexPackage.Initialize(IEngine) (Inherited from PexPackageAttributeBase)
IPexPackage.Load(IContainer) (Inherited from PexPackageAttributeBase)

Applies to