PexExpectedNullParameterThrowsArgumentNullExceptionAttribute Class
Definition
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
-
PexExpectedNullParameterThrowsArgumentNullExceptionAttribute
- Attributes
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) |