Share via

PexGenericArgumentsProviderAttributeBase Class

  • Reference

Definition

Namespace:
Microsoft.Pex.Framework.Using
Assembly:
Microsoft.Pex.Framework.dll

Attribute base class for generic argument providers.

public ref class PexGenericArgumentsProviderAttributeBase abstract : Microsoft::Pex::Framework::PexAttributeBase, Microsoft::Pex::Engine::IPexGenericArgumentsProvider
[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Method, AllowMultiple=true, Inherited=true)]
public abstract class PexGenericArgumentsProviderAttributeBase : Microsoft.Pex.Framework.PexAttributeBase, Microsoft.Pex.Engine.IPexGenericArgumentsProvider
[<System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Method, AllowMultiple=true, Inherited=true)>]
type PexGenericArgumentsProviderAttributeBase = class
    inherit PexAttributeBase
    interface IPexGenericArgumentsProvider
Public MustInherit Class PexGenericArgumentsProviderAttributeBase
Inherits PexAttributeBase
Implements IPexGenericArgumentsProvider
Inheritance
Attribute
PexAttributeBase
PexGenericArgumentsProviderAttributeBase
Derived
Attributes
AttributeUsageAttribute
Implements
Microsoft.Pex.Engine.IPexGenericArgumentsProvider

Constructors

PexGenericArgumentsProviderAttributeBase()

Initializes a new instance of the PexGenericArgumentsProviderAttributeBase class.

Methods

GetGenericArgumentTuples(MethodDefinition)

Gets the generic argument tuples.

Applies to