PexRaisedContractExceptionAttribute Construtores
Definição
Importante
Algumas informações se referem a produtos de pré-lançamento que podem ser substancialmente modificados antes do lançamento. A Microsoft não oferece garantias, expressas ou implícitas, das informações aqui fornecidas.
Sobrecargas
| PexRaisedContractExceptionAttribute() |
Inicializa uma nova instância da classe PexRaisedContractExceptionAttribute. |
| PexRaisedContractExceptionAttribute(PexExceptionState) |
Inicializa uma nova instância da classe PexRaisedContractExceptionAttribute. |
PexRaisedContractExceptionAttribute()
Inicializa uma nova instância da classe PexRaisedContractExceptionAttribute.
public:
PexRaisedContractExceptionAttribute();
public PexRaisedContractExceptionAttribute ();
Public Sub New ()
Aplica-se a
PexRaisedContractExceptionAttribute(PexExceptionState)
Inicializa uma nova instância da classe 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)
Parâmetros
- exceptionState
- Microsoft.Pex.Engine.Exceptions.PexExceptionState
Estado da exceção.