PexExplorableGuesserAttributeBase Class

Reference

Definition

Namespace:: Microsoft.Pex.Framework.Explorable

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.

Abstract base class to define new Microsoft.Pex.Engine.Explorable.IPexExplorableGuesser implementations

public ref class PexExplorableGuesserAttributeBase abstract : Microsoft::Pex::Framework::Packages::PexExecutionPackageAttributeBase

[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class, AllowMultiple=true)]
public abstract class PexExplorableGuesserAttributeBase : Microsoft.Pex.Framework.Packages.PexExecutionPackageAttributeBase

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

Public MustInherit Class PexExplorableGuesserAttributeBase
Inherits PexExecutionPackageAttributeBase

Inheritance: Attribute

PexAttributeBase

PexPackageAttributeBase

PexExecutionPackageAttributeBase
PexExplorableGuesserAttributeBase

Attributes: AttributeUsageAttribute

Constructors

PexExplorableGuesserAttributeBase()

Properties

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

Methods

AfterExecution(IPexComponent, Object)	Callback that is executed after the execution ends.
BeforeExecution(IPexComponent)	Callback that is executed before the execution starts.
CreateExplorableGuessers(IPexComponent)	Creates explorable guessers.
Initialize(IEngine)	this method provides the opportunity to query services and interact with them.
Load(IContainer)	This method provides the opportunity install or substitute services.

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

Share via