PureAttribute Classe

Définition

Espace de noms:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Indique qu'un type ou une méthode est pur(e), autrement dit qu'il ou elle n'apporte aucune modification d'état visible.

public ref class PureAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.Class | System.AttributeTargets.Constructor | System.AttributeTargets.Delegate | System.AttributeTargets.Event | System.AttributeTargets.Method | System.AttributeTargets.Parameter | System.AttributeTargets.Property, AllowMultiple=false, Inherited=true)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class PureAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.Class | System.AttributeTargets.Constructor | System.AttributeTargets.Delegate | System.AttributeTargets.Event | System.AttributeTargets.Method | System.AttributeTargets.Parameter | System.AttributeTargets.Property, AllowMultiple=false, Inherited=true)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type PureAttribute = class
    inherit Attribute

Public NotInheritable Class PureAttribute
Inherits Attribute

Héritage

Object

Attribute

PureAttribute

Attributs

AttributeUsageAttribute ConditionalAttribute

Remarques

Les méthodes et les types marqués avec cet attribut peuvent être utilisés dans les appels à des System.Diagnostics.Contracts.Contract méthodes. Les méthodes pures n’apportent aucune modification d’état visible. Cet attribut n’est pas appliqué par les outils d’analyse actuels ; vous devez utiliser cet attribut uniquement si vous êtes sûr que les méthodes sont pures.

Constructeurs

PureAttribute()

Initialise une nouvelle instance de la classe PureAttribute.

Propriétés

TypeId

Lors de l'implémentation dans une classe dérivée, obtient un identificateur unique pour l'objet Attribute. (Hérité de Attribute)

Méthodes

Equals(Object)	Retourne une valeur qui indique si cette instance est égale à un objet spécifié. (Hérité de Attribute)
GetHashCode()	Retourne le code de hachage de cette instance. (Hérité de Attribute)
GetType()	Obtient le Type de l'instance actuelle. (Hérité de Object)
IsDefaultAttribute()	En cas de substitution dans une classe dérivée, indique si la valeur de cette instance est la valeur par défaut pour la classe dérivée. (Hérité de Attribute)
Match(Object)	En cas de substitution dans une classe dérivée, retourne une valeur indiquant si cette instance équivaut à un objet spécifié. (Hérité de Attribute)
MemberwiseClone()	Crée une copie superficielle du Object actuel. (Hérité de Object)
ToString()	Retourne une chaîne qui représente l'objet actuel. (Hérité de Object)