Sdílet prostřednictvím


Microsoft.Pex.Framework.Generated Namespace

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