PexExpectedTestsAttribute Class

Reference

Definition

Namespace:: Microsoft.Pex.Framework.Validation

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 to specify expected numbers of tests

public ref class PexExpectedTestsAttribute sealed : Microsoft::Pex::Framework::Goals::PexExplorationGoalAttributeBase

[__DoNotInstrument]
[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Method, AllowMultiple=true)]
public sealed class PexExpectedTestsAttribute : Microsoft.Pex.Framework.Goals.PexExplorationGoalAttributeBase

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

Public NotInheritable Class PexExpectedTestsAttribute
Inherits PexExplorationGoalAttributeBase

Inheritance: Attribute

PexAttributeBase

PexComponentElementDecoratorAttributeBase

PexExplorationPackageAttributeBase

PexExplorationGoalAttributeBase
PexExpectedTestsAttribute

Attributes: __DoNotInstrumentAttribute AttributeUsageAttribute

Constructors

PexExpectedTestsAttribute()

Properties

DuplicateCount	Gets or sets the duplicate count.
FailureCount	Gets or sets the failure count.
InconclusiveCount	Gets or sets the inconclusive count.
Name	Gets the name of this package. (Inherited from PexExplorationPackageAttributeBase)
NewCount	Gets or sets the new count.
RequiresSymbols	indicates whether this feature relies on symbols
TotalCount	Gets or sets the total count.
TotalMinimumCount	Gets or sets the total minimum count.

Methods

AfterExploration(IPexExplorationComponent, Object)	Callback that is executed after the exploration ends. (Inherited from PexExplorationGoalAttributeBase)
BeforeExploration(IPexExplorationComponent)	Callback that is executed before the exploration starts. (Inherited from PexExplorationGoalAttributeBase)
Decorate(Name, IPexDecoratedComponentElement)	This method can announce filters, focuses, and packages to IntelliTest. (Inherited from PexExplorationPackageAttributeBase)
Initialize(IPexExplorationEngine)	Initializes the specified exploration package. May interact with services. (Inherited from PexExplorationGoalAttributeBase)
Load(IContainer)	This method provides the opportunity install or substitute services. (Inherited from PexExplorationGoalAttributeBase)
TryCreateExplorationGoal(IPexExplorationComponent, IPexExplorationGoal)	Tries to create an exploration goal instance (Inherited from PexExplorationGoalAttributeBase)
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