PexRaisedContractExceptionAttribute Class

Definition

Namespace:

Microsoft.Pex.Framework.Generated

Assembly:

Microsoft.Pex.Framework.dll

A contract exception was raised

public ref class PexRaisedContractExceptionAttribute sealed : Microsoft::Pex::Framework::Generated::PexRaisedExceptionAttribute

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

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

Public NotInheritable Class PexRaisedContractExceptionAttribute
Inherits PexRaisedExceptionAttribute

Inheritance

Attribute

PexAttributeBase

PexRaisedExceptionAttribute

PexRaisedContractExceptionAttribute

Attributes

AttributeUsageAttribute

Constructors

PexRaisedContractExceptionAttribute()	Initializes a new instance of the PexRaisedContractExceptionAttribute class.
PexRaisedContractExceptionAttribute(PexExceptionState)	Initializes a new instance of the PexRaisedContractExceptionAttribute class.

Properties

ExceptionState	Gets the state of the exception. (Inherited from PexRaisedExceptionAttribute)
ExceptionType	Gets the type of the exception. (Inherited from PexRaisedExceptionAttribute)