PexAssumeNotNullAttribute Classe

Définition

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)

Méthodes

AfterExploration(IPexExplorationComponent, Object)

Rappel exécuté après la fin de l'exploration.

(Hérité de PexExplorationPackageAttributeBase)
BeforeExploration(IPexExplorationComponent)

Rappel exécuté avant le démarrage de l'exploration.

(Hérité de PexDomainAttributeBase)
Decorate(Name, IPexDecoratedComponentElement)

Cette méthode peut annoncer des filtres, des focus et des packages sur IntelliTest.

(Hérité de PexExplorationPackageAttributeBase)
GetPreciseType(TypeEx, ICopyable<TypeEx>, Boolean)

Vérifie une liste de types compatibles avec ce domaine.

(Hérité de PexAssumeAttributeBase)
GetTargetType()

Obtient le type de la cible.

(Hérité de PexDomainAttributeBase)
Initialize(IPexExplorationEngine)

Initialise le package d'exploration spécifié. Peut interagir avec des services.

(Hérité de PexExplorationPackageAttributeBase)
Load(IContainer)

Cette méthode offre la possibilité d'installer ou de substituer des services.

(Hérité de PexExplorationPackageAttributeBase)
MatchesTarget(PexDomainTarget, MetadataEntity, Int32)

Vérifie si la cible de cet attribut correspond à une cible donnée.

(Hérité de PexDomainAttributeBase)
TryGetInvariant(IPexExplorationComponent, Layout, Converter<Term,Term>)

Tente d'obtenir un invariant.

UpdateTarget(PexDomainTarget, MetadataEntity, Int32)

Met à jour la cible de ce domaine.

(Hérité de PexDomainAttributeBase)
Validate(IPexLog, ICustomAttributeProviderEx, VisibilityContext)

Valide l'attribut dans un contexte de visibilité particulier.

(Hérité de PexComponentElementDecoratorAttributeBase)
ValidateTargetIsDefined(IPexLog, Name)

Valide le fait que la cible est définie.

(Hérité de PexAssumeAttributeBase)
ValidateTargetIsNotNull(IPexLog, Name)

Valide cet attribut dans le cas où la cible ne serait pas null.

(Hérité de PexAssumeAttributeBase)

Implémentations d’interfaces explicites

IPexComponentElementDecorator.Decorate(Name, IPexDecoratedComponentElement) (Hérité de PexComponentElementDecoratorAttributeBase)
IPexDomainProvider.AddDomains(SafeList<IPexDomain>, PexDomainTarget, MetadataEntity, Int32) (Hérité de PexDomainAttributeBase)
IPexExplorationPackage.AfterExploration(IPexExplorationComponent, Object) (Hérité de PexExplorationPackageAttributeBase)
IPexExplorationPackage.BeforeExploration(IPexExplorationComponent) (Hérité de PexExplorationPackageAttributeBase)
IPexExplorationPackage.Initialize(IPexExplorationEngine) (Hérité de PexExplorationPackageAttributeBase)
IPexExplorationPackage.Load(IContainer) (Hérité de PexExplorationPackageAttributeBase)
IPexTargetedDomainProvider.Validate(IPexLog, ICustomAttributeProviderEx, VisibilityContext) (Hérité de PexDomainAttributeBase)
IPexValidatable.Validate(IPexLog, ICustomAttributeProviderEx, VisibilityContext) (Hérité de PexComponentElementDecoratorAttributeBase)

S’applique à