PexRaisedContractExceptionAttribute Construtores

Definição

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.

Aplica-se a