Share via


PexExplorableGuesserAttributeBase Class

Definition

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
Attributes

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