Microsoft.Pex.Framework.Generated Namespace
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.
Classes
| PexContract |
Helper methods for Code Contracts |
| PexCurrentCultureContext |
Stores and restores the CurrentCulture and CurrentUICulture of a thread |
| PexDescriptionAttribute |
The description of a generated test |
| PexDisposableContext |
A disposable context to store disposable object that will dispose all objects safely. |
| PexDisposeException |
An exception encapsulating a collection of exceptions |
| PexFactories |
A collection of factory methods for various type of the .Net runtime |
| PexGeneratedByAttribute |
Attribute that describes the parameterized test that generated the method. |
| PexGeneratedTestsAssemblyAttribute |
Attribute to specify that the current assembly contains the tests from another assembly. |
| PexGeneratedTestsClassAttribute |
Marks a type that contains generated tests for a particular fixture type |
| PexNotCompilableAttribute |
Marks a generated test that might not be compilable |
| PexNotReproducibleAttribute |
An attribute that specifies that a test might not be reproducible |
| PexPConsoleInContext |
Swaps the Console.In TextReader with an IntelliTest parameterized mock implementation (PTextReader). |
| PexRaisedContractExceptionAttribute |
A contract exception was raised |
| PexRaisedExceptionAttribute |
Decorates a generated test with the 'unexpected' exception that the test raises. |
| PexSafeHelpers |
Static helper class which allows to manipulate values in a safe fashion which might not be expressible in C#. |
| PexTraceListenerContext |
Removes the current trace listeners, and install a trace listener that throws a TraceAssertionException. Also hooks and handles to the Contract.ContractFailed event. |
Interfaces
| IPexChoiceRecorder |
Interface for building an oracle execution |
| IPexChoiceSessionBuilder |
This interface is used to define the behavior of mock objects at the beginning of a test. |
| IPexMethodCallChoiceSessionBuilder |
This interface is used to define the behavior of mock objects at the beginning of a test. |
| IPexObserveContext |
The context where observed values are stored |
| IPexRaisedExceptionSource |
IntelliTest raised exception source |
Enums
| PexRuntimeContractsFlags |
Gets the rewritten assembly level contract |