PexExecutionPackageAttributeBase Class

Reference

Definition

Namespace:: Microsoft.Pex.Framework.Packages

Assembly:: Microsoft.Pex.Framework.dll

Important

Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.

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)

Applies to

Share via