Share via


PexAssumptionFailedExceptionAttribute Class

Definition

Registers a custom exception type as an assumption exception

public ref class PexAssumptionFailedExceptionAttribute sealed : Microsoft::Pex::Framework::Packages::PexExplorationPackageAttributeBase
[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Method, AllowMultiple=true)]
public sealed class PexAssumptionFailedExceptionAttribute : Microsoft.Pex.Framework.Packages.PexExplorationPackageAttributeBase
[<System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Method, AllowMultiple=true)>]
type PexAssumptionFailedExceptionAttribute = class
    inherit PexExplorationPackageAttributeBase
Public NotInheritable Class PexAssumptionFailedExceptionAttribute
Inherits PexExplorationPackageAttributeBase
Inheritance
Attributes

Constructors

PexAssumptionFailedExceptionAttribute(Type)

Initializes a new instance of the PexAssumptionFailedExceptionAttribute class.

Properties

ExceptionType

Gets the type of the exception.

Name

Gets the name of this package.

(Inherited from PexExplorationPackageAttributeBase)

Methods

AfterExploration(IPexExplorationComponent, Object)

Callback that is executed after the exploration ends.

(Inherited from PexExplorationPackageAttributeBase)
BeforeExploration(IPexExplorationComponent)

Callback that is executed before the exploration starts.

(Inherited from PexExplorationPackageAttributeBase)
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 PexExplorationPackageAttributeBase)
Load(IContainer)

This method provides the opportunity install or substitute services.

(Inherited from PexExplorationPackageAttributeBase)
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