ContractReferenceAssemblyAttribute Classe

Définition

Espace de noms:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Spécifie qu'un assembly est un assembly de référence qui contient des contrats.

public ref class ContractReferenceAssemblyAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.Assembly)]
public sealed class ContractReferenceAssemblyAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.Assembly)>]
type ContractReferenceAssemblyAttribute = class
    inherit Attribute

Public NotInheritable Class ContractReferenceAssemblyAttribute
Inherits Attribute

Héritage

Object

Attribute

ContractReferenceAssemblyAttribute

Attributs

AttributeUsageAttribute

Remarques

Un assembly de référence de contrat est nommé assembly.Contracts.dll, où assembly est le nom de l’assembly à partir duquel les contrats ont été extraits. Un assembly de référence de contrat contient l’interface visible publiquement d’un assembly et de ses contrats, mais ne contient aucun code. Les assemblys de référence de contrat sont utilisés à la fois par l’analyseur d’exécution pour hériter des contrats entre les assemblys et pendant la vérification statique pour découvrir des contrats sur des méthodes et des types à partir d’assemblys en dehors de l’assembly en cours d’analyse.

Pour plus d’informations sur l’utilisation des attributs, consultez Attributs.

Constructeurs

ContractReferenceAssemblyAttribute()

Initialise une nouvelle instance de la classe ContractReferenceAssemblyAttribute.

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)