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
Состояние исключения.