ContractOptionAttribute Classe

Définition

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 présente les options actuellement prises en charge.

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

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

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

Pour activer la vérification du contrat au moment de l’exécution pour un type spécifique :

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

    ...

Pour désactiver la vérification du temps d’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(...) {
          ...
       }
   }