Microsoft.Pex.Framework Namespace

Classes

PexArgumentsAttribute	Defines a single value tuple that will be used as test inputs to seed the IntelliTest exploration.
PexAssert	A static helper class that contains a set of methods to express assertions in parameterized unit tests.
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	A static helper class that contains a set of methods to express preconditions in parameterized unit tests.
PexAssumeAttributeBase	Abstract base class for Assume attributes
PexAssumeNotNullAttribute	The test fails if the specified parameter is a null reference.
PexAssumeUnderTestAttribute	Defines a test target: not null and precise type matching.
PexAttributeBase	Abstract base class for all IntelliTest attributes
PexChoose	Supplies auxiliary input values to a test method.
PexChoose.Replay	Helper methods to support test execution.
PexClassAttribute	Used to specify additional settings about parameterized test methods.
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	Defines a single type tuple that will be used to instantiate generic test methods.
PexMethodAttribute	Identifies a method as a parameterized unit test for IntelliTest.
PexMethodUnderTestAttribute	Specifies the intended method under test for the current exploration. This 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

Enums

PexPlatform

Supported bitness for an exploration

Delegates

EqualityComparison<T>	Delegate that compares two values for equality.
PexAction	Anonymous action
PexAction<T>	Anonymous action
PexAction<T1,T2>	Anonymous action
PexAssume.Func<T>	A delegate that takes no input and returns a value of type T.
PexChooseExceptionFactory	A user-implemented delegate that creates an exception object.
PexEqualityComparison<T>	Returns true if left is equal to right
PexSymbolicValue.Action	A delegate representing a nullary method.
PexSymbolicValue.Function<T>	A delegate representing a nullary function.