Partager via


Microsoft.Pex.Framework.Validation Namespace

Classes

PexAllowedContractRequiresFailureAttribute

Allows failures of code contracts requires clauses.

PexAllowedContractRequiresFailureAtTypeUnderTestSurfaceAttribute

Allows failures of code contracts requires clauses when they occur at the surface of the type-under-test code from the test code.

PexAllowedExceptionAttribute

Allows the exception from any location

PexAllowedExceptionAttributeBase

Specifies an exception that is allowed to occur. If the execption occurs, the generated test will be tagged with 'ExpectedException'.

PexAllowedExceptionFromAssemblyAttribute

Specifies an exception that is allowed to occur from a specified assembly. If the execption occurs, the generated test will be tagged with 'ExpectedException'.

PexAllowedExceptionFromTypeAttribute

Specifies an exception that is allowed to occur from a specified type. If the execption occurs, the generated test will be tagged with 'ExpectedException'.

PexAllowedExceptionFromTypeUnderTestAttribute

Specifies an exception that is allowed to occur from a specified method. If the execption occurs, the generated test will be tagged with 'ExpectedException'.

PexAllowedXmlDocumentedExceptionAttribute

Allows documented exception from visible target sites

PexExceptionValidatorAttributeBase

Base class for Exception validators

PexExpectedTestsAttribute

Attribute to specify expected numbers of tests