PexComponentElementDecoratorAttributeBase Class

Definition

Namespace:

Microsoft.Pex.Framework.ComponentModel

Assembly:

Microsoft.Pex.Framework.dll

Base class for decorator attributes

public ref class PexComponentElementDecoratorAttributeBase abstract : Microsoft::Pex::Framework::PexAttributeBase, Microsoft::Pex::Engine::ComponentModel::IPexComponentElementDecorator, Microsoft::Pex::Engine::ComponentModel::IPexValidatable

[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Method, AllowMultiple=true)]
public abstract class PexComponentElementDecoratorAttributeBase : Microsoft.Pex.Framework.PexAttributeBase, Microsoft.Pex.Engine.ComponentModel.IPexComponentElementDecorator, Microsoft.Pex.Engine.ComponentModel.IPexValidatable

[<System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Method, AllowMultiple=true)>]
type PexComponentElementDecoratorAttributeBase = class
    inherit PexAttributeBase
    interface IPexComponentElementDecorator
    interface IPexValidatable

Public MustInherit Class PexComponentElementDecoratorAttributeBase
Inherits PexAttributeBase
Implements IPexComponentElementDecorator, IPexValidatable

Inheritance

Attribute

PexAttributeBase

PexComponentElementDecoratorAttributeBase

Derived

Microsoft.Pex.Framework.Coverage.PexCoverageFilterAttributeBase

Microsoft.Pex.Framework.Focus.PexFocusOnAttributeBase

Microsoft.Pex.Framework.Packages.PexExplorationPackageAttributeBase

Microsoft.Pex.Framework.Packages.PexPathPackageAttributeBase

Attributes

AttributeUsageAttribute

Implements

Microsoft.Pex.Engine.ComponentModel.IPexComponentElementDecorator Microsoft.Pex.Engine.ComponentModel.IPexValidatable

Constructors

PexComponentElementDecoratorAttributeBase()

Initializes a new instance of the PexComponentElementDecoratorAttributeBase class.

Methods

Decorate(Name, IPexDecoratedComponentElement)	This method can announce filters, focuses, and packages to IntelliTest.
Validate(IPexLog, ICustomAttributeProviderEx, VisibilityContext)	Validates the attribute in a particular visibility context.

Explicit Interface Implementations

IPexComponentElementDecorator.Decorate(Name, IPexDecoratedComponentElement)

IPexValidatable.Validate(IPexLog, ICustomAttributeProviderEx, VisibilityContext)