PexAssertExcludeTypeAttribute Class

Reference

Definition

Namespace:: Microsoft.Pex.Framework.TestGeneration

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.

Attribute that excludes members from a particular type to be asserted

public ref class PexAssertExcludeTypeAttribute sealed : Microsoft::Pex::Framework::TestGeneration::PexAssertionFilterAttributeBase

[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Method, AllowMultiple=true)]
public sealed class PexAssertExcludeTypeAttribute : Microsoft.Pex.Framework.TestGeneration.PexAssertionFilterAttributeBase

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

Public NotInheritable Class PexAssertExcludeTypeAttribute
Inherits PexAssertionFilterAttributeBase

Inheritance: Attribute

PexAttributeBase

PexComponentElementDecoratorAttributeBase

PexExplorationPackageAttributeBase

PexAssertionFilterAttributeBase
PexAssertExcludeTypeAttribute

Attributes: AttributeUsageAttribute

Constructors

PexAssertExcludeTypeAttribute(Type)	Initializes a new instance of the attribute with a type definition
PexAssertExcludeTypeAttribute(Type, String)	Initializes a new instance of the attribute with a type definition

Properties

Name	Gets the name of this package. (Inherited from PexExplorationPackageAttributeBase)

Methods

AfterExploration(IPexExplorationComponent, Object)	Method for After Exploration actions. (Inherited from PexAssertionFilterAttributeBase)
BeforeExploration(IPexExplorationComponent)	Load the filters if any (Inherited from PexAssertionFilterAttributeBase)
Decorate(Name, IPexDecoratedComponentElement)	This method can announce filters, focuses, and packages to IntelliTest. (Inherited from PexExplorationPackageAttributeBase)
Initialize(IPexExplorationEngine)	Initializes the PexAssertionAttributeFilterBase class. (Inherited from PexAssertionFilterAttributeBase)
Load(IContainer)	(Inherited from PexAssertionFilterAttributeBase)
TryCreateAssertionFilters(IPexExplorationComponent, IIndexable<IPexAssertionFilter>)	Tries to create a set of filters (Inherited from PexAssertionFilterAttributeBase)
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)
IPexExplorationPackage.AfterExploration(IPexExplorationComponent, Object)	(Inherited from PexExplorationPackageAttributeBase)
IPexExplorationPackage.BeforeExploration(IPexExplorationComponent)	(Inherited from PexExplorationPackageAttributeBase)
IPexExplorationPackage.Initialize(IPexExplorationEngine)	(Inherited from PexExplorationPackageAttributeBase)
IPexExplorationPackage.Load(IContainer)	(Inherited from PexExplorationPackageAttributeBase)
IPexValidatable.Validate(IPexLog, ICustomAttributeProviderEx, VisibilityContext)	(Inherited from PexComponentElementDecoratorAttributeBase)

Applies to