PexAllowedContractRequiresFailureAtTypeUnderTestSurfaceAttribute Class
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.
Allows failures of code contracts requires clauses when they occur at the surface of the type-under-test code from the test code.
public ref class PexAllowedContractRequiresFailureAtTypeUnderTestSurfaceAttribute sealed : Microsoft::Pex::Framework::Validation::PexExceptionValidatorAttributeBase[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Method, AllowMultiple=true, Inherited=true)]
public sealed class PexAllowedContractRequiresFailureAtTypeUnderTestSurfaceAttribute : Microsoft.Pex.Framework.Validation.PexExceptionValidatorAttributeBase[<System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Method, AllowMultiple=true, Inherited=true)>]
type PexAllowedContractRequiresFailureAtTypeUnderTestSurfaceAttribute = class
inherit PexExceptionValidatorAttributeBasePublic NotInheritable Class PexAllowedContractRequiresFailureAtTypeUnderTestSurfaceAttribute
Inherits PexExceptionValidatorAttributeBase- Inheritance
-
PexAllowedContractRequiresFailureAtTypeUnderTestSurfaceAttribute
- Attributes
Constructors
| PexAllowedContractRequiresFailureAtTypeUnderTestSurfaceAttribute() |
Allows failures of code contracts requires clauses when they occur at the surface of the type-under-test code from the test code. |
Properties
| AcceptInnerException |
Gets or sets a value indicating whether inner exception should be inspected. |
| Description |
Describes what this validator does. |
| Documented |
Gets or sets a value indicating whether the exception type should be documented |
| Host |
Gets the exploration host (Inherited from PexExceptionValidatorAttributeBase) |
| MessageFilter |
Gets or sets a message filter; uses the default naming conventions for filters. |
| Name |
Gets the name of this package. (Inherited from PexExplorationPackageAttributeBase) |
| OnlyAtTypeUnderTestSurface |
Gets or sets whether this exception validator only applies to exceptions that have been thrown at the surface of the type-under-test. |
| TrimStackTraceBeforeContractRuntime |
Gets or sets a value indicating whether the filtered stack trace should be cut before the first call to the Code Contract runtime method (Inherited from PexExceptionValidatorAttributeBase) |
| TypeUnderTest |
Gets the type-under-test, if any. (Inherited from PexExceptionValidatorAttributeBase) |
| WikiTopic |
Gets the wiki topic. (Inherited from PexExceptionValidatorAttributeBase) |