PexCreatableFactoryForSummarizedConstructorsAndSetters Class

Definition

Namespace:: Microsoft.Pex.Framework.Creatable

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.

IntelliTest infers constructors and setters invariant.

public ref class PexCreatableFactoryForSummarizedConstructorsAndSetters sealed : Microsoft::Pex::Framework::Creatable::PexCreatableFactoryAttributeBase

[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Method, AllowMultiple=true)]
public sealed class PexCreatableFactoryForSummarizedConstructorsAndSetters : Microsoft.Pex.Framework.Creatable.PexCreatableFactoryAttributeBase

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

Public NotInheritable Class PexCreatableFactoryForSummarizedConstructorsAndSetters
Inherits PexCreatableFactoryAttributeBase

Inheritance: Attribute

PexAttributeBase

PexComponentElementDecoratorAttributeBase

PexExplorationPackageAttributeBase

PexCreatableFactoryAttributeBase
PexCreatableFactoryForSummarizedConstructorsAndSetters

Attributes: AttributeUsageAttribute

Constructors

Name	Description
PexCreatableFactoryForSummarizedConstructorsAndSetters()

Properties

Name	Description
IsRestrictive	Summarization gives up if IntelliTest finds setters that do not start with "Set", "Add" or "set_".
Name	Gets the name of this package. (Inherited from PexExplorationPackageAttributeBase)

Methods

Name	Description
AfterExploration(IPexExplorationComponent, Object)	Callback that is executed after the exploration ends. (Inherited from PexCreatableFactoryAttributeBase)
BeforeExploration(IPexExplorationComponent)	Callback that is executed before the exploration starts. (Inherited from PexCreatableFactoryAttributeBase)
Decorate(Name, IPexDecoratedComponentElement)	This method can announce filters, focuses, and packages to IntelliTest. (Inherited from PexExplorationPackageAttributeBase)
Initialize(IPexExplorationEngine)	Initializes the specified exploration package. May interact with services. (Inherited from PexCreatableFactoryAttributeBase)
Load(IContainer)	This method provides the opportunity install or substitute services. (Inherited from PexExplorationPackageAttributeBase)
TryCreateCreatableFactory(IPexExplorationComponent, IPexCreatableFactory)	Creates the explorable guesser. (Inherited from PexCreatableFactoryAttributeBase)
Validate(IPexLog, ICustomAttributeProviderEx, VisibilityContext)	Validates the attribute in a particular visibility context. (Inherited from PexComponentElementDecoratorAttributeBase)

Explicit Interface Implementations

Name	Description
IPexComponentElementDecorator.Decorate(Name, IPexDecoratedComponentElement)	(Inherited from PexComponentElementDecoratorAttributeBase)
IPexExplorationPackage.AfterExploration(IPexExplorationComponent, Object)	(Inherited from PexExplorationPackageAttributeBase)
IPexExplorationPackage.BeforeExploration(IPexExplorationComponent)	(Inherited from PexExplorationPackageAttributeBase)
IPexExplorationPackage.Initialize(IPexExplorationEngine)	(Inherited from PexExplorationPackageAttributeBase)
IPexExplorationPackage.Load(IContainer)	(Inherited from PexExplorationPackageAttributeBase)
IPexValidatable.Validate(IPexLog, ICustomAttributeProviderEx, VisibilityContext)	(Inherited from PexComponentElementDecoratorAttributeBase)

Applies to

Share via