PexPackageAttributeBase 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 PexPackageAttributeBase abstract : Microsoft::Pex::Framework::PexAttributeBase, Microsoft::Pex::Engine::Packages::IPexPackage

[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class, AllowMultiple=true)]
public abstract class PexPackageAttributeBase : Microsoft.Pex.Framework.PexAttributeBase, Microsoft.Pex.Engine.Packages.IPexPackage

[<System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class, AllowMultiple=true)>]
type PexPackageAttributeBase = class
    inherit PexAttributeBase
    interface IPexPackage

Public MustInherit Class PexPackageAttributeBase
Inherits PexAttributeBase
Implements IPexPackage

Inheritance: Attribute

PexAttributeBase
PexPackageAttributeBase

Derived: Microsoft.Pex.Framework.Packages.PexExecutionPackageAttributeBase

Attributes: AttributeUsageAttribute

Implements: Microsoft.Pex.Engine.Packages.IPexPackage

Constructors

PexPackageAttributeBase()

Initializes a new instance of the PexPackageAttributeBase class.

Properties

Name	Gets the name of this package.

Methods

Initialize(IEngine)	this method provides the opportunity to query services and interact with them.
Load(IContainer)	This method provides the opportunity install or substitute services.

Explicit Interface Implementations

IPexPackage.Initialize(IEngine)
IPexPackage.Load(IContainer)

Applies to