PexAssertReachEventuallyAttribute Class
This attribute is used in conjunction with ReachEventually to specify one or more goals that should be executed during exploration.
Assembly: Microsoft.Pex.Framework (in Microsoft.Pex.Framework.dll)
System::Attribute
Microsoft.Pex.Framework::PexAttributeBase
Microsoft.Pex.Framework.ComponentModel::PexComponentElementDecoratorAttributeBase
Microsoft.Pex.Framework.Packages::PexExplorationPackageAttributeBase
Microsoft.Pex.Framework.Goals::PexExplorationGoalAttributeBase
Microsoft.Pex.Framework::PexAssertReachEventuallyAttribute
| Name | Description | |
|---|---|---|
![]() | 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(array<Int32>^) | Identifies a method with one or more goals, each identified by a specified integer. |
![]() | PexAssertReachEventuallyAttribute(array<String^>^) | Identifies a method with one or more goals, each goal identified by a string identifier. |
| Name | Description | |
|---|---|---|
![]() | 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. |
![]() | TypeId | (Inherited from Attribute.) |
| Name | Description | |
|---|---|---|
![]() | Equals(Object^) | (Inherited from Attribute.) |
![]() | GetHashCode() | (Inherited from Attribute.) |
![]() | GetType() | (Inherited from Object.) |
![]() | IsDefaultAttribute() | (Inherited from Attribute.) |
![]() | Match(Object^) | (Inherited from Attribute.) |
![]() | ToString() | (Inherited from Object.) |
| Name | Description | |
|---|---|---|
![]() ![]() | _Attribute::GetIDsOfNames(Guid, IntPtr, UInt32, UInt32, IntPtr) | (Inherited from Attribute.) |
![]() ![]() | _Attribute::GetTypeInfo(UInt32, UInt32, IntPtr) | (Inherited from Attribute.) |
![]() ![]() | _Attribute::GetTypeInfoCount(UInt32) | (Inherited from Attribute.) |
![]() ![]() | _Attribute::Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr) | (Inherited from Attribute.) |
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.
Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.



