PexSettingsMixAttribute Class

Reference

Definition

Namespace:: Microsoft.Pex.Framework.Settings

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.

Attribute that defines a variation of settings

public ref class PexSettingsMixAttribute sealed : Microsoft::Pex::Framework::Settings::PexSettingsAttributeBase, Microsoft::Pex::Engine::Packages::IPexPackage

[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class, AllowMultiple=true)]
[System.Serializable]
public sealed class PexSettingsMixAttribute : Microsoft.Pex.Framework.Settings.PexSettingsAttributeBase, Microsoft.Pex.Engine.Packages.IPexPackage

[<System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class, AllowMultiple=true)>]
[<System.Serializable>]
type PexSettingsMixAttribute = class
    inherit PexSettingsAttributeBase
    interface IPexPackage

Public NotInheritable Class PexSettingsMixAttribute
Inherits PexSettingsAttributeBase
Implements IPexPackage

Inheritance: Attribute

PexAttributeBase

PexSettingsStoreAttributeBase

PexSettingsAttributeBase
PexSettingsMixAttribute

Attributes: AttributeUsageAttribute SerializableAttribute

Implements: Microsoft.Pex.Engine.Packages.IPexPackage

Constructors

PexSettingsMixAttribute(String)

Initializes a new instance of the PexSettingsMixAttribute class.

Properties

ActiveSettings	Gets the list of settings name that have been set (Inherited from PexSettingsStoreAttributeBase)
Categories	A named parameter that specifies the fixture categories. (Inherited from PexSettingsAttributeBase)
ContainsSettings	Gets a value indicating whether this instance has settings that have been set. (Inherited from PexSettingsStoreAttributeBase)
DisableObservableAssertions	A named parameter that specifies whether observed values should not be asserted (Inherited from PexSettingsAttributeBase)
DisablePostAnalysis	A named parameter that specifies whether to disable the post analysis. (Inherited from PexSettingsAttributeBase)
IncludeNonFinalSegmentCoverage	A named parameter that specifies whether IntelliTest should include non-final segment coverage in coverage reports and when deciding whether to emit tests. (Inherited from PexSettingsAttributeBase)
MaxBranches	A named parameter that specifies the maximum number of branches that can be taken along a single execution path. (Inherited from PexSettingsAttributeBase)
MaxCalls	A named parameter that specifies the maximum number of method calls during an exploration. (Inherited from PexSettingsAttributeBase)
MaxConditions	A named parameter that specifies the maximum number of conditions over the inputs that can be checked during a single execution path. (Inherited from PexSettingsAttributeBase)
MaxConstraintSolverMemory	A named parameter that specifies the constraint solver's memory limit. (Inherited from PexSettingsAttributeBase)
MaxConstraintSolverTime	A named parameter that specifies the constraint solver's time out value. (Inherited from PexSettingsAttributeBase)
MaxExceptions	A named parameter that specifies the maximum number of new exceptions before stopping. (Inherited from PexSettingsAttributeBase)
MaxExecutionTreeNodes	A named parameter that specifies the maximum number of execution tree nodes. (Inherited from PexSettingsAttributeBase)
MaxRuns	A named parameter that specifies maximum number of runs that will be tried during an exploration. (Inherited from PexSettingsAttributeBase)
MaxRunsWithoutNewTests	A named parameter that specifies the maximum number of . (Inherited from PexSettingsAttributeBase)
MaxRunsWithUniquePaths	A named parameter that specifies the maximum number of runs that IntelliTest will attempt which result in distinct execution paths. (Inherited from PexSettingsAttributeBase)
MaxSequenceLength	A named parameter that specifies maximum number of method calls that can be performed to construct an object of a given type. (Inherited from PexSettingsAttributeBase)
MaxStack	A named parameter that specifies the maximum stack size during an exploration (Inherited from PexSettingsAttributeBase)
MaxWorkingSet	A named parameter that specifies the maximum working set. (Inherited from PexSettingsAttributeBase)
MixName	Gets or sets the name of the mix.
MixReportOrder	Gets or sets the mix report order.
NoSoftSubstitutions	Experimental. (Inherited from PexSettingsAttributeBase)
NotReproducible	A named parameter that specifies whether generated tests are not reproducible (Inherited from PexSettingsAttributeBase)
ObserveChoices	A value that indicates whether choices should be observed in the parameter table. (Inherited from PexSettingsAttributeBase)
Owner	Owners for the generated tests if any and if supported by the test framework. (Inherited from PexSettingsAttributeBase)
Priority	The priority of the generated tests if supported by the test framework (Inherited from PexSettingsAttributeBase)
TestClassName	A named parameter that specifies the format string for the the test class name. (Inherited from PexSettingsAttributeBase)
TestEmissionBranchHits	A named parameter that specifies whether IntelliTest can emit a new test case if the branch coverage increases, considering how often branches have been hit, capped by this option. (Inherited from PexSettingsAttributeBase)
TestEmissionFilter	A named parameter that specifies grounds on which IntelliTest should generate test cases. (Inherited from PexSettingsAttributeBase)
TestExcludePathBoundsExceeded	A named parameter that specifies whether to ignore execution paths that exceed MaxCalls, MaxBranches or MaxConditions. (Inherited from PexSettingsAttributeBase)
ThreadApartmentState	A named parameter that specifies in which apartment state the test thread should be. (Inherited from PexSettingsAttributeBase)
Timeout	A named parameter that specifies the exploration time out value. (Inherited from PexSettingsAttributeBase)

Methods

CopyValues(PexSettingsStoreAttributeBase)	Copies the values to `attribute` (Inherited from PexSettingsStoreAttributeBase)
GetBooleanValue(String)	Gets the bool value. (Inherited from PexSettingsStoreAttributeBase)
GetEnumValue<T>(String, T)	Gets the enum value. (Inherited from PexSettingsStoreAttributeBase)
GetInt32Value(String, Int32)	Gets the int value. (Inherited from PexSettingsStoreAttributeBase)
GetStringValue(String, String)	Gets the string value. (Inherited from PexSettingsStoreAttributeBase)
GetValue<T>(String, T)	Gets a value (Inherited from PexSettingsStoreAttributeBase)
GetValue<T>(String)	Gets a value (Inherited from PexSettingsStoreAttributeBase)
IntegrateSettings(PexSettingsStoreAttributeBase)	Integrates settings from attribute that have not been set in the current store yet (Inherited from PexSettingsStoreAttributeBase)
Lock()	Locks all properties of this instance. (Inherited from PexSettingsStoreAttributeBase)
OverrideSettings(PexSettingsStoreAttributeBase)	Overrides the settings. (Inherited from PexSettingsStoreAttributeBase)
SetValue(String, Object)	Sets the value. (Inherited from PexSettingsStoreAttributeBase)
ToCustomAttribute()	Creates a custom attribute (Inherited from PexSettingsStoreAttributeBase)
TryGetValue(String, Object)	Tries to query the value. (Inherited from PexSettingsStoreAttributeBase)
WriteXml(SafeSimpleXmlWriter)	Writes the settings as XML attributes (Inherited from PexSettingsStoreAttributeBase)

Explicit Interface Implementations

IPexPackage.Initialize(IEngine)
IPexPackage.Load(IContainer)
IPexPackage.Name

Applies to

Share via