PexAssertMethodAttribute Class

Reference

Definition

Namespace:: Microsoft.Pex.Framework.Metrics

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.

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: Attribute

PexAttributeBase

PexPackageAttributeBase

PexExecutionPackageAttributeBase
PexAssertMethodAttribute

Attributes: AttributeUsageAttribute

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