Information
The topic you requested is included in another documentation set. For convenience, it's displayed below. Choose Switch to see the topic in its original location.

Microsoft.Pex.Framework Namespace

 

ClassDescription
System_CAPS_pubclassPexArgumentsAttribute

Defines a single value tuple that will be used as test inputs to seed the Pex exploration.

System_CAPS_pubclassPexAssert

Static class to express assertions, i.e. a postcondition, in parameterized unit tests.

If the asserted condition does not hold for some test input, a PexAssertFailedException is thrown, which will cause the test to fail.

System_CAPS_pubclassPexAssertReachedEventArgs

Event argument when a reachability point is touched.

System_CAPS_pubclassPexAssertReachEventuallyAttribute

This attribute is used in conjunction with ReachEventually to specify one or more goals that should be executed during exploration.

System_CAPS_pubclassPexAssume

Static class to express assumptions, i.e. a precondition, in parameterized unit tests. The methods of this class can be used to filter out undesirable test inputs.

If the assumed condition does not hold for some test input, a PexAssumeFailedException is thrown, which will cause the test to be silently ignored.

System_CAPS_pubclassPexAssumeAttributeBase

Abstract base class for Assume attributes.

System_CAPS_pubclassPexAssumeNotNullAttribute

This attribute expresses that the governed value cannot be 'null'.

System_CAPS_pubclassPexAssumeUnderTestAttribute

Attribute used to specify that a parameter from a parameterized test is the instance under test. Under this assumption, Pex ensure that the parameter is not null and it matches the type precisely:

System_CAPS_pubclassPexAttributeBase

Abstract base class for all pex attributes.

System_CAPS_pubclassPexChoose

Static class which supplies auxiliary input values to a test, which can be used to implement Parameterized Mocks.

The PexChoose class does not help in determining whether a test passes for particular input values, or fails.
PexChoose simply provides input values, which we also call choices. It is still up to the user to restrict the input values, and to write assertions to define when a test passes or fails.)

System_CAPS_pubclassPexClassAttribute

Attribute that marks a class that contains 'explorations'. It is the equivalent of MSTest's TestClassAttribute (or NUnit's TestFixtureAttribute). This attribute is optional.

System_CAPS_pubclassPexExplorationAttributeBase

Abstract base class for exploration attributes.

System_CAPS_pubclassPexFactoryMethodAttribute

Tags factory methods used to instantiate objects. The method must be visible, static in a static class.

System_CAPS_pubclassPexGenericArgumentsAttribute

Attribute used to provide a type tuple for instantiating a generic parameterized unit test..

System_CAPS_pubclassPexMethodAttribute

Identifies a method as a Pex parameterized unit test.

System_CAPS_pubclassPexMethodUnderTestAttribute

Specifies the intended method under test for the current exploration. attribute is used for exploration of private methods that require Reflection. Usually, this information can be mined by reading the method body byte code but when private method calls involving reflection are involved, we need this attribute.

System_CAPS_pubclassPexObserve

Static class that contains methods to record values computed during test execution.

System_CAPS_pubclassPexPreparationMethodAttribute

Tags methods used to prepare types. The method must be visible, static in a static class. It may have parameters.

System_CAPS_pubclassPexSymbolicValue

Helper functions to deal with symbolic inputs

System_CAPS_pubclassPexChoose::Replay

Helper methods to support test execution.

DelegateDescription
System_CAPS_pubdelegatePexSymbolicValue::Action

A delegate representing a nullary method.

System_CAPS_pubdelegateEqualityComparison<T>

Delegate that compares two values for equality.

System_CAPS_pubdelegatePexAssume::Func<T>

A delegate that takes no input and returns a value of type T.

System_CAPS_pubdelegatePexSymbolicValue::Function<T>

A delegate representing a nullary function.

System_CAPS_pubdelegatePexAction

Anonymous action

System_CAPS_pubdelegatePexAction<T>

Anonymous action.

System_CAPS_pubdelegatePexAction<T1, T2>

Anonymous action.

System_CAPS_pubdelegatePexChooseExceptionFactory

A user-implemented delegate that creates an exception object.

System_CAPS_pubdelegatePexEqualityComparison<T>

Returns true if left is equal to right.

EnumerationDescription
System_CAPS_pubenumPexPlatform

Supported bitness for an exploration

Return to top
Show: