PexRaisedExceptionAttribute Class

Reference

Definition

Namespace:: Microsoft.Pex.Framework.Generated

Assembly:: Microsoft.Pex.Framework.dll

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.

Decorates a generated test with the 'unexpected' exception that the test raises.

public ref class PexRaisedExceptionAttribute : Microsoft::Pex::Framework::PexAttributeBase, Microsoft::Pex::Framework::Generated::IPexRaisedExceptionSource

[System.AttributeUsage(System.AttributeTargets.Method, AllowMultiple=false)]
public class PexRaisedExceptionAttribute : Microsoft.Pex.Framework.PexAttributeBase, Microsoft.Pex.Framework.Generated.IPexRaisedExceptionSource

[<System.AttributeUsage(System.AttributeTargets.Method, AllowMultiple=false)>]
type PexRaisedExceptionAttribute = class
    inherit PexAttributeBase
    interface IPexRaisedExceptionSource

Public Class PexRaisedExceptionAttribute
Inherits PexAttributeBase
Implements IPexRaisedExceptionSource

Inheritance: Attribute

PexAttributeBase
PexRaisedExceptionAttribute

Derived: Microsoft.Pex.Framework.Generated.PexRaisedContractExceptionAttribute

Attributes: AttributeUsageAttribute

Implements: IPexRaisedExceptionSource

Remarks

This attribute is not intended to be used by customer. IntelliTest will use this attribute to mark generated tests.

Constructors

PexRaisedExceptionAttribute(String, String)	Initializes a new instance of the PexRaisedExceptionAttribute class.
PexRaisedExceptionAttribute(String, String, PexExceptionState)	Initializes a new instance of the PexRaisedExceptionAttribute class.
PexRaisedExceptionAttribute(Type)	Initializes a new instance of the PexRaisedExceptionAttribute class.
PexRaisedExceptionAttribute(Type, PexExceptionState)	Initializes a new instance of the PexRaisedExceptionAttribute class.
PexRaisedExceptionAttribute(Type, String)	Initializes a new instance of the PexRaisedExceptionAttribute class.
PexRaisedExceptionAttribute(Type, String, PexExceptionState)	Initializes a new instance of the PexRaisedExceptionAttribute class.

Properties

ExceptionState	Gets the state of the exception.
ExceptionType	Gets the type of the exception.

Methods

TryReadException(ICustomAttributeProviderEx, IPexRaisedExceptionSource)

Tries to read the exception from the attribute provider.

Applies to