PexSettingsAttributeBase Class

Definition

Namespace:

Microsoft.Pex.Framework.Settings

Assembly:

Microsoft.Pex.Framework.dll

Base attribute for settings

public ref class PexSettingsAttributeBase abstract : Microsoft::Pex::Framework::Settings::PexSettingsStoreAttributeBase

public abstract class PexSettingsAttributeBase : Microsoft.Pex.Framework.Settings.PexSettingsStoreAttributeBase

type PexSettingsAttributeBase = class
    inherit PexSettingsStoreAttributeBase

Public MustInherit Class PexSettingsAttributeBase
Inherits PexSettingsStoreAttributeBase

Inheritance

Attribute

PexAttributeBase

PexSettingsStoreAttributeBase

PexSettingsAttributeBase

Derived

Microsoft.Pex.Framework.PexClassAttribute

Microsoft.Pex.Framework.PexExplorationAttributeBase

Microsoft.Pex.Framework.Settings.PexAssemblySettingsAttribute

Microsoft.Pex.Framework.Settings.PexSettingsMixAttribute

Constructors

PexSettingsAttributeBase()

Initializes a new instance of the PexSettingsAttributeBase 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.
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
DisablePostAnalysis	A named parameter that specifies whether to disable the post analysis.
IncludeNonFinalSegmentCoverage	A named parameter that specifies whether IntelliTest should include non-final segment coverage in coverage reports and when deciding whether to emit tests.
MaxBranches	A named parameter that specifies the maximum number of branches that can be taken along a single execution path.
MaxCalls	A named parameter that specifies the maximum number of method calls during an exploration.
MaxConditions	A named parameter that specifies the maximum number of conditions over the inputs that can be checked during a single execution path.
MaxConstraintSolverMemory	A named parameter that specifies the constraint solver's memory limit.
MaxConstraintSolverTime	A named parameter that specifies the constraint solver's time out value.
MaxExceptions	A named parameter that specifies the maximum number of new exceptions before stopping.
MaxExecutionTreeNodes	A named parameter that specifies the maximum number of execution tree nodes.
MaxRuns	A named parameter that specifies maximum number of runs that will be tried during an exploration.
MaxRunsWithoutNewTests	A named parameter that specifies the maximum number of .
MaxRunsWithUniquePaths	A named parameter that specifies the maximum number of runs that IntelliTest will attempt which result in distinct execution paths.
MaxSequenceLength	A named parameter that specifies maximum number of method calls that can be performed to construct an object of a given type.
MaxStack	A named parameter that specifies the maximum stack size during an exploration
MaxWorkingSet	A named parameter that specifies the maximum working set.
NoSoftSubstitutions	Experimental.
NotReproducible	A named parameter that specifies whether generated tests are not reproducible
ObserveChoices	A value that indicates whether choices should be observed in the parameter table.
Owner	Owners for the generated tests if any and if supported by the test framework.
Priority	The priority of the generated tests if supported by the test framework
TestClassName	A named parameter that specifies the format string for the the test class name.
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.
TestEmissionFilter	A named parameter that specifies grounds on which IntelliTest should generate test cases.
TestExcludePathBoundsExceeded	A named parameter that specifies whether to ignore execution paths that exceed MaxCalls, MaxBranches or MaxConditions.
ThreadApartmentState	A named parameter that specifies in which apartment state the test thread should be.
Timeout	A named parameter that specifies the exploration time out value.

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)