PexAssertReachEventuallyAttribute Class

Reference

Definition

Namespace:: Microsoft.Pex.Framework

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.

This attribute is used in conjunction with ReachEventually() to specify one or more goals that should be executed during exploration.

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

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

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

Public NotInheritable Class PexAssertReachEventuallyAttribute
Inherits PexExplorationGoalAttributeBase

Inheritance: Attribute

PexAttributeBase

PexComponentElementDecoratorAttributeBase

PexExplorationPackageAttributeBase

PexExplorationGoalAttributeBase
PexAssertReachEventuallyAttribute

Attributes: AttributeUsageAttribute

Remarks

The attribute identifies methods that contain goals in the form of one or more ReachEventually() calls. If the method contains multiple goals, each one must have a string or integer identifier that is unique within the method. Use the attribute's positional parameters to define the identifiers, and pass them to the appropriate ReachEventually() call.

Constructors

PexAssertReachEventuallyAttribute()	Identifies a method with one goal.
PexAssertReachEventuallyAttribute(Int32)	Identifies a method with one or more goals, which are identified by a series of integers, starting with zero and ending with `count` - 1.
PexAssertReachEventuallyAttribute(Int32[])	Identifies a method with one or more goals, each identified by a specified integer.
PexAssertReachEventuallyAttribute(String[])	Identifies a method with one or more goals, each goal identified by a string identifier.

Properties

Name	Gets the name of this package. (Inherited from PexExplorationPackageAttributeBase)
StopWhenAllReached	A named parameter that specifies whether exploration should stop when all the goals have been reached.

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

Partager via