PexAssumeNotNullAttribute Classe
Définition
Important
Certaines informations portent sur la préversion du produit qui est susceptible d’être en grande partie modifiée avant sa publication. Microsoft exclut toute garantie, expresse ou implicite, concernant les informations fournies ici.
Le test échoue si le paramètre spécifié est une référence null.
public ref class PexAssumeNotNullAttribute sealed : Microsoft::Pex::Framework::PexAssumeAttributeBase
[System.AttributeUsage(System.AttributeTargets.All, AllowMultiple=true, Inherited=true)]
public sealed class PexAssumeNotNullAttribute : Microsoft.Pex.Framework.PexAssumeAttributeBase
[<System.AttributeUsage(System.AttributeTargets.All, AllowMultiple=true, Inherited=true)>]
type PexAssumeNotNullAttribute = class
inherit PexAssumeAttributeBase
Public NotInheritable Class PexAssumeNotNullAttribute
Inherits PexAssumeAttributeBase
- Héritage
- Attributs
Remarques
Cet attribut offre une alternative pratique à IsNotNull(Object) et aux surcharges associées.
Constructeurs
| PexAssumeNotNullAttribute() |
Constructeur à utiliser uniquement sur les déclarations de cible. |
| PexAssumeNotNullAttribute(Type) |
Constructeur pour un type spécifié |
| PexAssumeNotNullAttribute(Type, String) |
Constructeur pour un type et un champ public spécifiés. |
Propriétés
| Name |
Obtient le nom de ce package. (Hérité de PexExplorationPackageAttributeBase) |