PexExplorableGuesserAttributeBase Class
Definition
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 PexExecutionPackageAttributeBasePublic MustInherit Class PexExplorableGuesserAttributeBase
Inherits PexExecutionPackageAttributeBase- Inheritance
-
PexExplorableGuesserAttributeBase
- Attributes
Constructors
| Name | Description |
|---|---|
| PexExplorableGuesserAttributeBase() | |
Properties
| Name | Description |
|---|---|
| Name |
Gets the name of this package. (Inherited from PexPackageAttributeBase) |
Methods
| Name | Description |
|---|---|
| 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
| Name | Description |
|---|---|
| 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) |