PexCreatableFactoryForSummarizedConstructorsAndSetters Class

Definition

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
Attributes

Constructors

PexCreatableFactoryForSummarizedConstructorsAndSetters()

Properties

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

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

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