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.

PexMethodUnderTestAttribute Class

 

Specifies the intended method under test for the current exploration. attribute is used for exploration of private methods that require Reflection. Usually, this information can be mined by reading the method body byte code but when private method calls involving reflection are involved, we need this attribute.

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

System::Object
  System::Attribute
    Microsoft.Pex.Framework::PexAttributeBase
      Microsoft.Pex.Framework::PexMethodUnderTestAttribute

[AttributeUsageAttribute(AttributeTargets::Method, AllowMultiple = true, 
	Inherited = false)]
public ref class PexMethodUnderTestAttribute sealed : PexAttributeBase

NameDescription
System_CAPS_pubmethodPexMethodUnderTestAttribute(String^)

Specifies a method under test

NameDescription
System_CAPS_pubpropertyMethodUnderTest

Gets the member under test

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.)

This attribute requires the test class to be annotated with the 'TypeUnderTest' setting.

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: