PexExecutionPackageAttributeBase Class

Definition

Namespace:

Microsoft.Pex.Framework.Packages

Assembly:

Microsoft.Pex.Framework.dll

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

Attribute

PexAttributeBase

PexPackageAttributeBase

PexExecutionPackageAttributeBase

Derived

Microsoft.Pex.Framework.Explorable.PexExplorableGuesserAttributeBase

Microsoft.Pex.Framework.Metrics.PexAssertMethodAttribute

Microsoft.Pex.Framework.Suppression.PexLogEventFilterAttributeBase

Microsoft.Pex.Framework.Suppression.PexSuppressStackFrameAttributeBase

Attributes

AttributeUsageAttribute

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)