Partager via


PexAssertMethodAttribute Class

Definition

Attribute to register a method as an assert method

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

Constructors

PexAssertMethodAttribute(String, String, String, String, Int32)

Initializes a new instance of the PexAssertMethodAttribute class.

PexAssertMethodAttribute(Type, String, Int32)

Initializes a new instance of the PexAssertMethodAttribute class.

Properties

Name

Gets the name of this package.

(Inherited from PexPackageAttributeBase)

Methods

AfterExecution(IPexComponent, Object)

Callback that is executed after the execution ends.

(Inherited from PexExecutionPackageAttributeBase)
BeforeExecution(IPexComponent)

Callback that is executed before the execution starts.

(Inherited from PexExecutionPackageAttributeBase)
Initialize(IEngine)

this method provides the opportunity to query services and interact with them.

(Inherited from PexPackageAttributeBase)
Load(IContainer)

This method provides the opportunity install or substitute services.

(Inherited from PexPackageAttributeBase)

Explicit Interface Implementations

IPexExecutionPackage.AfterExecution(IPexComponent, Object) (Inherited from PexExecutionPackageAttributeBase)
IPexExecutionPackage.BeforeExecution(IPexComponent) (Inherited from PexExecutionPackageAttributeBase)
IPexPackage.Initialize(IEngine) (Inherited from PexPackageAttributeBase)
IPexPackage.Load(IContainer) (Inherited from PexPackageAttributeBase)

Applies to