PexCoverageFilterAttributeBase Class

Reference

Definition

Namespace:: Microsoft.Pex.Framework.Coverage

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.

Base class Attribute for coverage filtering

public ref class PexCoverageFilterAttributeBase abstract : Microsoft::Pex::Framework::ComponentModel::PexComponentElementDecoratorAttributeBase

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

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

Public MustInherit Class PexCoverageFilterAttributeBase
Inherits PexComponentElementDecoratorAttributeBase

Inheritance: Attribute

PexAttributeBase

PexComponentElementDecoratorAttributeBase
PexCoverageFilterAttributeBase

Derived: Microsoft.Pex.Framework.Coverage.PexCoverageFilterAssembliesAttribute

Microsoft.Pex.Framework.Coverage.PexCoverageFilterAssemblyAttribute

Microsoft.Pex.Framework.Coverage.PexCoverageFilterMethodAttribute

Microsoft.Pex.Framework.Coverage.PexCoverageFilterNamespaceAttribute

Microsoft.Pex.Framework.Coverage.PexCoverageFilterTypeAttribute

Attributes: AttributeUsageAttribute

Constructors

PexCoverageFilterAttributeBase(PexCoverageDomain)

Initializes a new instance of the PexCoverageFilterAttributeBase class.

Properties

CoverageDomain

Gets the domain.

Methods

CreateFilter(IPexDecoratedComponentElement)	Creates the filter
Decorate(Name, IPexDecoratedComponentElement)	Decorates component with custom decorators
Validate(IPexLog, ICustomAttributeProviderEx, VisibilityContext)	Validates the attribute in a particular visibility context. (Inherited from PexComponentElementDecoratorAttributeBase)

Explicit Interface Implementations

IPexComponentElementDecorator.Decorate(Name, IPexDecoratedComponentElement)	(Inherited from PexComponentElementDecoratorAttributeBase)
IPexValidatable.Validate(IPexLog, ICustomAttributeProviderEx, VisibilityContext)	(Inherited from PexComponentElementDecoratorAttributeBase)

Applies to