PexRaisedContractExceptionAttribute Конструкторы

Определение

Перегрузки

PexRaisedContractExceptionAttribute()

Инициализирует новый экземпляр класса PexRaisedContractExceptionAttribute.

PexRaisedContractExceptionAttribute(PexExceptionState)

Инициализирует новый экземпляр класса PexRaisedContractExceptionAttribute.

PexRaisedContractExceptionAttribute()

Инициализирует новый экземпляр класса PexRaisedContractExceptionAttribute.

public:
 PexRaisedContractExceptionAttribute();
public PexRaisedContractExceptionAttribute ();
Public Sub New ()

Применяется к

PexRaisedContractExceptionAttribute(PexExceptionState)

Инициализирует новый экземпляр класса PexRaisedContractExceptionAttribute.

public:
 PexRaisedContractExceptionAttribute(Microsoft::Pex::Engine::Exceptions::PexExceptionState exceptionState);
public PexRaisedContractExceptionAttribute (Microsoft.Pex.Engine.Exceptions.PexExceptionState exceptionState);
new Microsoft.Pex.Framework.Generated.PexRaisedContractExceptionAttribute : Microsoft.Pex.Engine.Exceptions.PexExceptionState -> Microsoft.Pex.Framework.Generated.PexRaisedContractExceptionAttribute
Public Sub New (exceptionState As PexExceptionState)

Параметры

exceptionState
Microsoft.Pex.Engine.Exceptions.PexExceptionState

Состояние исключения.

Применяется к