ContractOptionAttribute Klasse

Definition

Namespace:

System.Diagnostics.Contracts

Assembly:

System.Diagnostics.Contracts.dll

Quelle:

Contracts.cs

Ermöglicht es Ihnen, Vertrags- und Tool-Optionen in der Assembly, am Typ oder Methodengranularität festzulegen.

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

Vererbung

Object

Attribute

ContractOptionAttribute

Attribute

AttributeUsageAttribute ConditionalAttribute

Hinweise

In der folgenden Tabelle sind die derzeit unterstützten Optionen aufgeführt.

Category	Einstellung	Wert/Effekt
contract	Vererbung	true zum Aktivieren der Vertragsvererbung; false , um es zu deaktivieren. Der Standardwert ist true.
Laufzeit	Überprüfen	true , um die Laufzeitüberprüfung zu aktivieren; false , um es zu deaktivieren. Der Standardwert ist true.

Sie können dieses Attribut wie in den folgenden Beispielen veranschaulicht verwenden.

So deaktivieren Sie die Laufzeitüberprüfung für die gesamte Assembly:

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

So aktivieren Sie die Laufzeitvertragsüberprüfung für einen bestimmten Typ:

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

    ...  

So deaktivieren Sie die Laufzeitüberprüfung für eine bestimmte Methode:

// 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(...) {  
          ...  
       }  
   }  

Konstruktoren

ContractOptionAttribute(String, String, Boolean)	Initialisiert eine neue Instanz der ContractOptionAttribute-Klasse unter Verwendung der angegebenen Kategorie, Einstellung und des aktivieren/deaktivieren-Werts.
ContractOptionAttribute(String, String, String)	Initialisiert eine neue Instanz der ContractOptionAttribute-Klasse unter Verwendung der angegebenen Kategorie, Einstellung und des Werts.

Eigenschaften

Category	Ruft die Kategorie der Option ab.
Enabled	Bestimmt, ob eine Option aktiviert ist.
Setting	Ruft die Einstellung für die Option ab.
TypeId	Ruft bei Implementierung in einer abgeleiteten Klasse einen eindeutigen Bezeichner für dieses Attribute ab. (Geerbt von Attribute)
Value	Ruft den Wert für die Option ab.

Methoden

Equals(Object)	Gibt einen Wert zurück, der angibt, ob diese Instanz gleich einem angegebenen Objekt ist. (Geerbt von Attribute)
GetHashCode()	Gibt den Hashcode für diese Instanz zurück. (Geerbt von Attribute)
GetType()	Ruft den Type der aktuellen Instanz ab. (Geerbt von Object)
IsDefaultAttribute()	Gibt beim Überschreiben in einer abgeleiteten Klasse an, ob der Wert der Instanz der Standardwert für die abgeleitete Klasse ist. (Geerbt von Attribute)
Match(Object)	Beim Überschreiben in einer abgeleiteten Klasse wird ein Wert zurückgegeben, der angibt, ob diese Instanz einem bestimmten Objekt entspricht. (Geerbt von Attribute)
MemberwiseClone()	Erstellt eine flache Kopie des aktuellen Object. (Geerbt von Object)
ToString()	Gibt eine Zeichenfolge zurück, die das aktuelle Objekt darstellt. (Geerbt von Object)