Microsoft.Pex.Framework Namespace
| Class | Description | |
|---|---|---|
![]() | PexArgumentsAttribute | Defines a single value tuple that will be used as test inputs to seed the Pex exploration. |
![]() | PexAssert | 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. |
![]() | PexAssertReachedEventArgs | Event argument when a reachability point is touched. |
![]() | PexAssertReachEventuallyAttribute | This attribute is used in conjunction with ReachEventually to specify one or more goals that should be executed during exploration. |
![]() | PexAssume | 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. |
![]() | PexAssumeAttributeBase | Abstract base class for Assume attributes. |
![]() | PexAssumeNotNullAttribute | This attribute expresses that the governed value cannot be 'null'. |
![]() | PexAssumeUnderTestAttribute | 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: |
![]() | PexAttributeBase | Abstract base class for all pex attributes. |
![]() | PexChoose | 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. |
![]() | PexClassAttribute | Attribute that marks a class that contains 'explorations'. It is the equivalent of MSTest's TestClassAttribute (or NUnit's TestFixtureAttribute). This attribute is optional. |
![]() | PexExplorationAttributeBase | Abstract base class for exploration attributes. |
![]() | PexFactoryMethodAttribute | Tags factory methods used to instantiate objects. The method must be visible, static in a static class. |
![]() | PexGenericArgumentsAttribute | Attribute used to provide a type tuple for instantiating a generic parameterized unit test.. |
![]() | PexMethodAttribute | Identifies a method as a Pex parameterized unit test. |
![]() | PexMethodUnderTestAttribute | 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. |
![]() | PexObserve | Static class that contains methods to record values computed during test execution. |
![]() | PexPreparationMethodAttribute | Tags methods used to prepare types. The method must be visible, static in a static class. It may have parameters. |
![]() | PexSymbolicValue | Helper functions to deal with symbolic inputs |
![]() | PexChoose::Replay | Helper methods to support test execution. |
| Delegate | Description | |
|---|---|---|
![]() | PexSymbolicValue::Action | A delegate representing a nullary method. |
![]() | EqualityComparison<T> | Delegate that compares two values for equality. |
![]() | PexAssume::Func<T> | A delegate that takes no input and returns a value of type T. |
![]() | PexSymbolicValue::Function<T> | A delegate representing a nullary function. |
![]() | PexAction | Anonymous action |
![]() | PexAction<T> | Anonymous action. |
![]() | PexAction<T1, T2> | Anonymous action. |
![]() | PexChooseExceptionFactory | A user-implemented delegate that creates an exception object. |
![]() | PexEqualityComparison<T> | Returns true if left is equal to right. |
| Enumeration | Description | |
|---|---|---|
![]() | PexPlatform | Supported bitness for an exploration |


