PexExpectedNullParameterThrowsArgumentNullExceptionAttribute Class

Reference

Definition

Namespace:: Microsoft.Pex.Framework.Goals

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.

Attributes that specifies that each reference argument of the method under test should yield a passing test case throwing an ArgumentNullException, who's message contains the argument name.

public ref class PexExpectedNullParameterThrowsArgumentNullExceptionAttribute sealed : Microsoft::Pex::Framework::Goals::PexExplorationGoalAttributeBase

[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Method, AllowMultiple=true)]
public sealed class PexExpectedNullParameterThrowsArgumentNullExceptionAttribute : Microsoft.Pex.Framework.Goals.PexExplorationGoalAttributeBase

[<System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Method, AllowMultiple=true)>]
type PexExpectedNullParameterThrowsArgumentNullExceptionAttribute = class
    inherit PexExplorationGoalAttributeBase

Public NotInheritable Class PexExpectedNullParameterThrowsArgumentNullExceptionAttribute
Inherits PexExplorationGoalAttributeBase

Inheritance: Attribute

PexAttributeBase

PexComponentElementDecoratorAttributeBase

PexExplorationPackageAttributeBase

PexExplorationGoalAttributeBase
PexExpectedNullParameterThrowsArgumentNullExceptionAttribute

Attributes: AttributeUsageAttribute

Constructors

PexExpectedNullParameterThrowsArgumentNullExceptionAttribute()

Properties

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

Methods

AfterExploration(IPexExplorationComponent, Object)	Callback that is executed after the exploration ends. (Inherited from PexExplorationGoalAttributeBase)
BeforeExploration(IPexExplorationComponent)	Callback that is executed before the exploration starts. (Inherited from PexExplorationGoalAttributeBase)
Decorate(Name, IPexDecoratedComponentElement)	This method can announce filters, focuses, and packages to IntelliTest. (Inherited from PexExplorationPackageAttributeBase)
Initialize(IPexExplorationEngine)	Initializes the specified exploration package. May interact with services. (Inherited from PexExplorationGoalAttributeBase)
Load(IContainer)	This method provides the opportunity install or substitute services. (Inherited from PexExplorationGoalAttributeBase)
TryCreateExplorationGoal(IPexExplorationComponent, IPexExplorationGoal)	Tries to create an exploration goal instance (Inherited from PexExplorationGoalAttributeBase)
Validate(IPexLog, ICustomAttributeProviderEx, VisibilityContext)	Validates the attribute in a particular visibility context. (Inherited from PexComponentElementDecoratorAttributeBase)

Explicit Interface Implementations

IPexComponentElementDecorator.Decorate(Name, IPexDecoratedComponentElement)	(Inherited from PexComponentElementDecoratorAttributeBase)
IPexExplorationPackage.AfterExploration(IPexExplorationComponent, Object)	(Inherited from PexExplorationPackageAttributeBase)
IPexExplorationPackage.BeforeExploration(IPexExplorationComponent)	(Inherited from PexExplorationPackageAttributeBase)
IPexExplorationPackage.Initialize(IPexExplorationEngine)	(Inherited from PexExplorationPackageAttributeBase)
IPexExplorationPackage.Load(IContainer)	(Inherited from PexExplorationPackageAttributeBase)
IPexValidatable.Validate(IPexLog, ICustomAttributeProviderEx, VisibilityContext)	(Inherited from PexComponentElementDecoratorAttributeBase)

Applies to

Share via