The topic you requested is included in another documentation set. For convenience, it's displayed below. Choose Switch to see the topic in its original location.
PexAssumeAttributeBase Class
Abstract base class for Assume attributes.
Assembly: Microsoft.Pex.Framework (in Microsoft.Pex.Framework.dll)
System::Object
System::Attribute
Microsoft.Pex.Framework::PexAttributeBase
Microsoft.Pex.Framework.ComponentModel::PexComponentElementDecoratorAttributeBase
Microsoft.Pex.Framework.Packages::PexExplorationPackageAttributeBase
Microsoft.Pex.Framework.Domains::PexDomainAttributeBase
Microsoft.Pex.Framework::PexAssumeAttributeBase
Microsoft.Pex.Framework::PexAssumeNotNullAttribute
Microsoft.Pex.Framework::PexAssumeUnderTestAttribute
System::Attribute
Microsoft.Pex.Framework::PexAttributeBase
Microsoft.Pex.Framework.ComponentModel::PexComponentElementDecoratorAttributeBase
Microsoft.Pex.Framework.Packages::PexExplorationPackageAttributeBase
Microsoft.Pex.Framework.Domains::PexDomainAttributeBase
Microsoft.Pex.Framework::PexAssumeAttributeBase
Microsoft.Pex.Framework::PexAssumeNotNullAttribute
Microsoft.Pex.Framework::PexAssumeUnderTestAttribute
| Name | Description | |
|---|---|---|
![]() | PexAssumeAttributeBase() | Initializes a new instance of the PexAssumeAttributeBase class. |
![]() | PexAssumeAttributeBase(Type^) | Initializes a new instance of the PexAssumeAttributeBase class. |
![]() | PexAssumeAttributeBase(Type^, String^) | Initializes a new instance of the PexAssumeAttributeBase class. |
| Name | Description | |
|---|---|---|
![]() | Name | Gets the name of this package.(Inherited from PexExplorationPackageAttributeBase.) |
![]() | TypeId | (Inherited from Attribute.) |
| Name | Description | |
|---|---|---|
![]() ![]() | _Attribute::GetIDsOfNames(Guid, IntPtr, UInt32, UInt32, IntPtr) | (Inherited from Attribute.) |
![]() ![]() | _Attribute::GetTypeInfo(UInt32, UInt32, IntPtr) | (Inherited from Attribute.) |
![]() ![]() | _Attribute::GetTypeInfoCount(UInt32) | (Inherited from Attribute.) |
![]() ![]() | _Attribute::Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr) | (Inherited from Attribute.) |
Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.
Show:




