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

Specifies the intended method under test for the current exploration. This 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.

public ref class PexMethodUnderTestAttribute sealed : Microsoft::Pex::Framework::PexAttributeBase

[System.AttributeUsage(System.AttributeTargets.Method, AllowMultiple=true, Inherited=false)]
public sealed class PexMethodUnderTestAttribute : Microsoft.Pex.Framework.PexAttributeBase

[<System.AttributeUsage(System.AttributeTargets.Method, AllowMultiple=true, Inherited=false)>]
type PexMethodUnderTestAttribute = class
    inherit PexAttributeBase

Public NotInheritable Class PexMethodUnderTestAttribute
Inherits PexAttributeBase

Inheritance: Attribute

PexAttributeBase
PexMethodUnderTestAttribute

Attributes: AttributeUsageAttribute

Remarks

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

Constructors

PexMethodUnderTestAttribute(String)

Specifies a method under test

Properties

MethodUnderTest

Gets the member under test

Applies to