Information
The topic you requested is included in another documentation set. For convenience, it's displayed below. Choose Switch to see the topic in its original location.

PexArgumentsAttribute Class

 

Defines a single value tuple that will be used as test inputs to seed the Pex exploration.

Namespace:   Microsoft.Pex.Framework
Assembly:  Microsoft.Pex.Framework (in Microsoft.Pex.Framework.dll)


[AttributeUsageAttribute(AttributeTargets::Assembly | AttributeTargets::Class | AttributeTargets::Method, 
	AllowMultiple = true, Inherited = true)]
public ref class PexArgumentsAttribute sealed : PexInputEnumeratorAttributeBase

NameDescription
System_CAPS_pubmethodPexArgumentsAttribute(Object^)

Initializes a new instance of the PexArgumentsAttribute class.

System_CAPS_pubmethodPexArgumentsAttribute(Object^, Object^)

Initializes a new instance of the PexArgumentsAttribute class.

System_CAPS_pubmethodPexArgumentsAttribute(Object^, Object^, Object^)

Initializes a new instance of the PexArgumentsAttribute class.

System_CAPS_pubmethodPexArgumentsAttribute(Object^, Object^, Object^, Object^)

Initializes a new instance of the PexArgumentsAttribute class.

System_CAPS_pubmethodPexArgumentsAttribute(array<Object^>^)

Initializes a new instance of the PexArgumentsAttribute class.

NameDescription
System_CAPS_pubpropertyAlternate

Whether this input enumerator should alternate with other enumerators.(Inherited from PexInputEnumeratorAttributeBase.)

System_CAPS_pubpropertyName

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

System_CAPS_pubpropertyPriority

Gets or sets the priority, a value between 0 and 100.(Inherited from PexInputEnumeratorAttributeBase.)

System_CAPS_pubpropertyTypeId

(Inherited from Attribute.)

NameDescription
System_CAPS_pubmethodEquals(Object^)

(Inherited from Attribute.)

System_CAPS_pubmethodGetHashCode()

(Inherited from Attribute.)

System_CAPS_pubmethodGetType()

(Inherited from Object.)

System_CAPS_pubmethodIsDefaultAttribute()

(Inherited from Attribute.)

System_CAPS_pubmethodMatch(Object^)

(Inherited from Attribute.)

System_CAPS_pubmethodToString()

(Inherited from Object.)

Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.

Return to top
Show: