PexRaisedExceptionAttribute Constructors
Definition
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
Overloads
| PexRaisedExceptionAttribute(Type) |
Initializes a new instance of the PexRaisedExceptionAttribute class. |
| PexRaisedExceptionAttribute(String, String) |
Initializes a new instance of the PexRaisedExceptionAttribute class. |
| PexRaisedExceptionAttribute(Type, PexExceptionState) |
Initializes a new instance of the PexRaisedExceptionAttribute class. |
| PexRaisedExceptionAttribute(Type, String) |
Initializes a new instance of the PexRaisedExceptionAttribute class. |
| PexRaisedExceptionAttribute(String, String, PexExceptionState) |
Initializes a new instance of the PexRaisedExceptionAttribute class. |
| PexRaisedExceptionAttribute(Type, String, PexExceptionState) |
Initializes a new instance of the PexRaisedExceptionAttribute class. |
PexRaisedExceptionAttribute(Type)
Initializes a new instance of the PexRaisedExceptionAttribute class.
public:
PexRaisedExceptionAttribute(Type ^ exceptionType);public PexRaisedExceptionAttribute (Type exceptionType);new Microsoft.Pex.Framework.Generated.PexRaisedExceptionAttribute : Type -> Microsoft.Pex.Framework.Generated.PexRaisedExceptionAttributePublic Sub New (exceptionType As Type)Parameters
- exceptionType
- Type
Type of the exception.
Applies to
PexRaisedExceptionAttribute(String, String)
Initializes a new instance of the PexRaisedExceptionAttribute class.
public:
PexRaisedExceptionAttribute(System::String ^ assemblyName, System::String ^ exceptionFullTypeName);public PexRaisedExceptionAttribute (string assemblyName, string exceptionFullTypeName);new Microsoft.Pex.Framework.Generated.PexRaisedExceptionAttribute : string * string -> Microsoft.Pex.Framework.Generated.PexRaisedExceptionAttributePublic Sub New (assemblyName As String, exceptionFullTypeName As String)Parameters
- assemblyName
- String
- exceptionFullTypeName
- String
Applies to
PexRaisedExceptionAttribute(Type, PexExceptionState)
Initializes a new instance of the PexRaisedExceptionAttribute class.
public:
PexRaisedExceptionAttribute(Type ^ exceptionType, Microsoft::Pex::Engine::Exceptions::PexExceptionState exceptionState);public PexRaisedExceptionAttribute (Type exceptionType, Microsoft.Pex.Engine.Exceptions.PexExceptionState exceptionState);new Microsoft.Pex.Framework.Generated.PexRaisedExceptionAttribute : Type * Microsoft.Pex.Engine.Exceptions.PexExceptionState -> Microsoft.Pex.Framework.Generated.PexRaisedExceptionAttributePublic Sub New (exceptionType As Type, exceptionState As PexExceptionState)Parameters
- exceptionType
- Type
Type of the exception.
- exceptionState
- Microsoft.Pex.Engine.Exceptions.PexExceptionState
state of the exception
Applies to
PexRaisedExceptionAttribute(Type, String)
Initializes a new instance of the PexRaisedExceptionAttribute class.
public:
PexRaisedExceptionAttribute(Type ^ typeOfAssembly, System::String ^ exceptionFullTypeName);public PexRaisedExceptionAttribute (Type typeOfAssembly, string exceptionFullTypeName);new Microsoft.Pex.Framework.Generated.PexRaisedExceptionAttribute : Type * string -> Microsoft.Pex.Framework.Generated.PexRaisedExceptionAttributePublic Sub New (typeOfAssembly As Type, exceptionFullTypeName As String)Parameters
- typeOfAssembly
- Type
- exceptionFullTypeName
- String
Applies to
PexRaisedExceptionAttribute(String, String, PexExceptionState)
Initializes a new instance of the PexRaisedExceptionAttribute class.
public:
PexRaisedExceptionAttribute(System::String ^ assemblyName, System::String ^ exceptionFullTypeName, Microsoft::Pex::Engine::Exceptions::PexExceptionState state);public PexRaisedExceptionAttribute (string assemblyName, string exceptionFullTypeName, Microsoft.Pex.Engine.Exceptions.PexExceptionState state);new Microsoft.Pex.Framework.Generated.PexRaisedExceptionAttribute : string * string * Microsoft.Pex.Engine.Exceptions.PexExceptionState -> Microsoft.Pex.Framework.Generated.PexRaisedExceptionAttributePublic Sub New (assemblyName As String, exceptionFullTypeName As String, state As PexExceptionState)Parameters
- assemblyName
- String
- exceptionFullTypeName
- String
- state
- Microsoft.Pex.Engine.Exceptions.PexExceptionState
Applies to
PexRaisedExceptionAttribute(Type, String, PexExceptionState)
Initializes a new instance of the PexRaisedExceptionAttribute class.
public:
PexRaisedExceptionAttribute(Type ^ typeOfAssembly, System::String ^ exceptionFullTypeName, Microsoft::Pex::Engine::Exceptions::PexExceptionState state);public PexRaisedExceptionAttribute (Type typeOfAssembly, string exceptionFullTypeName, Microsoft.Pex.Engine.Exceptions.PexExceptionState state);new Microsoft.Pex.Framework.Generated.PexRaisedExceptionAttribute : Type * string * Microsoft.Pex.Engine.Exceptions.PexExceptionState -> Microsoft.Pex.Framework.Generated.PexRaisedExceptionAttributePublic Sub New (typeOfAssembly As Type, exceptionFullTypeName As String, state As PexExceptionState)Parameters
- typeOfAssembly
- Type
- exceptionFullTypeName
- String
- state
- Microsoft.Pex.Engine.Exceptions.PexExceptionState