Partager via


PexRaisedContractExceptionAttribute Class

Definition

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
PexRaisedContractExceptionAttribute
Attributes

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)

Applies to