ContractOptionAttribute Classe

Définition

Espace de noms:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Permet de définir un contrat et des options d'outil pour la granularité d'assembly, de type ou de méthode.

public ref class ContractOptionAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.All, AllowMultiple=true, Inherited=false)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractOptionAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.All, AllowMultiple=true, Inherited=false)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type ContractOptionAttribute = class
    inherit Attribute

Public NotInheritable Class ContractOptionAttribute
Inherits Attribute

Héritage

Object

Attribute

ContractOptionAttribute

Attributs

AttributeUsageAttribute ConditionalAttribute

Remarques

Le tableau suivant montre les options actuellement prises en charge.

Category	Paramètre	Valeur/effet
contract	héritage	true pour activer l’héritage du contrat ; false pour le désactiver. La valeur par défaut est true.
runtime	vérifier	true pour activer la vérification au moment de l’exécution ; false pour le désactiver. La valeur par défaut est true.

Vous pouvez utiliser cet attribut comme illustré dans les exemples suivants.

Pour désactiver la vérification au moment de l’exécution pour l’ensemble de l’assembly :

[assembly:ContractOption("runtime", "checking", false)]  

Pour activer la vérification des contrats d’exécution pour un type spécifique :

[ContractOption("runtime", "checking", true)]  
class TypeWithRuntimeChecking {  

    ...  

Pour désactiver la vérification au moment de l’exécution pour une méthode spécifique :

// Turn off all contract inheritance from interface IList<T>  
[ContractOption("contract", "inheritance", false)]  
class MyConcurrentList<T> : IList<T> {  
   ...  
}  

[ContractOption("runtime", "checking", false)]  
public override MyMethod(int x) {  
   // no inherited contracts checked at runtime,  
   // no invariants checked at runtime.  
   ...  
}  

       [ContractOption("runtime", "checking", false)]  
       public void MethodWithoutRuntimeChecking(...) {  
          ...  
       }  
   }  

Constructeurs

ContractOptionAttribute(String, String, Boolean)	Initialise une nouvelle instance de la classe ContractOptionAttribute à l'aide de la catégorie, du paramètre et de la valeur activer/désactiver fournis.
ContractOptionAttribute(String, String, String)	Initialise une nouvelle instance de la classe ContractOptionAttribute à l'aide de la catégorie, du paramètre et de la valeur fournis.

Propriétés

Category	Obtient la catégorie de l'option.
Enabled	Détermine si une option est activée.
Setting	Obtient le paramètre pour l'option.
TypeId	Lors de l'implémentation dans une classe dérivée, obtient un identificateur unique pour l'objet Attribute. (Hérité de Attribute)
Value	Obtient la valeur pour l'option.

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)