Partager via

PexRaisedContractExceptionAttribute Class

  • Reference

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)

Applies to