PexArgumentsAttribute Class
Defines a single value tuple that will be used as test inputs to seed the Pex 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.InputEnumeration::PexInputEnumeratorAttributeBase
Microsoft.Pex.Framework::PexArgumentsAttribute
| Name | Description | |
|---|---|---|
![]() | PexArgumentsAttribute(Object^) | Initializes a new instance of the PexArgumentsAttribute class. |
![]() | PexArgumentsAttribute(Object^, Object^) | Initializes a new instance of the PexArgumentsAttribute class. |
![]() | PexArgumentsAttribute(Object^, Object^, Object^) | Initializes a new instance of the PexArgumentsAttribute class. |
![]() | PexArgumentsAttribute(Object^, Object^, Object^, Object^) | Initializes a new instance of the PexArgumentsAttribute class. |
![]() | PexArgumentsAttribute(array<Object^>^) | Initializes a new instance of the PexArgumentsAttribute class. |
| Name | Description | |
|---|---|---|
![]() | Alternate | Whether this input enumerator should alternate with other enumerators.(Inherited from PexInputEnumeratorAttributeBase.) |
![]() | Name | Gets the name of this package.(Inherited from PexExplorationPackageAttributeBase.) |
![]() | Priority | Gets or sets the priority, a value between 0 and 100.(Inherited from PexInputEnumeratorAttributeBase.) |
![]() | 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.) |
Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.



