다음을 통해 공유


PexPackageAttributeBase Class

Definition

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
PexPackageAttributeBase
Derived
Attributes
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