ContractOptionAttribute Klasse

Definition

Ermöglicht es Ihnen, Vertrags- und Tool-Optionen in der Assembly, am Typ oder Methodengranularität festzulegen.Enables you to set contract and tool options at assembly, type, or method granularity.

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
type ContractOptionAttribute = class
    inherit Attribute
Public NotInheritable Class ContractOptionAttribute
Inherits Attribute
Vererbung
ContractOptionAttribute
Attribute

Hinweise

In der folgenden Tabelle sind die derzeit unterstützten Optionen aufgeführt.The following table shows the currently supported options.

KategorieCategory EinstellungSetting Wert/EffektValue/effect
Vertrag (Contract)contract Vererbunginheritance trueSo aktivieren Sie die Vertrags Vererbung false , um Sie zu deaktivieren.true to turn contract inheritance on; false to turn it off. Die Standardeinstellung ist true.The default is true.
Laufzeitruntime Überprüfenchecking trueSo aktivieren Sie die Lauf Zeit Überprüfung false , um Sie zu deaktivieren.true to turn run-time checking on; false to turn it off. Die Standardeinstellung ist true.The default is true.

Sie können dieses Attribut verwenden, wie in den folgenden Beispielen veranschaulicht.You can use this attribute as illustrated in the following examples.

So deaktivieren Sie die Lauf Zeit Überprüfung für die gesamte Assembly:To turn off run-time checking for the entire assembly:

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

So schalten Sie die Lauf Zeit Vertragsüberprüfung für einen bestimmten Typ ein:To turn run-time contract checking on for a specific type:

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

So schalten Sie die Lauf Zeit Überprüfung für eine bestimmte Methode aus:To turn run-time checking off for a specific method:

// 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.Initializes a new instance of the ContractOptionAttribute class by using the provided category, setting, and enable/disable value.

ContractOptionAttribute(String, String, String)

Initialisiert eine neue Instanz der ContractOptionAttribute-Klasse unter Verwendung der angegebenen Kategorie, Einstellung und des Werts.Initializes a new instance of the ContractOptionAttribute class by using the provided category, setting, and value.

Eigenschaften

Category

Ruft die Kategorie der Option ab.Gets the category of the option.

Enabled

Bestimmt, ob eine Option aktiviert ist.Determines if an option is enabled.

Setting

Ruft die Einstellung für die Option ab.Gets the setting for the option.

TypeId

Ruft bei Implementierung in einer abgeleiteten Klasse einen eindeutigen Bezeichner für dieses Attribute ab.When implemented in a derived class, gets a unique identifier for this Attribute.

(Geerbt von Attribute)
Value

Ruft den Wert der Option ab.Gets the value for the option.

Methoden

Equals(Object)

Gibt einen Wert zurück, der angibt, ob diese Instanz gleich einem angegebenen Objekt ist.Returns a value that indicates whether this instance is equal to a specified object.

(Geerbt von Attribute)
GetHashCode()

Gibt den Hashcode für diese Instanz zurück.Returns the hash code for this instance.

(Geerbt von Attribute)
GetType()

Ruft den Type der aktuellen Instanz ab.Gets the Type of the current instance.

(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.When overridden in a derived class, indicates whether the value of this instance is the default value for the derived class.

(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.When overridden in a derived class, returns a value that indicates whether this instance equals a specified object.

(Geerbt von Attribute)
MemberwiseClone()

Erstellt eine flache Kopie des aktuellen Object.Creates a shallow copy of the current Object.

(Geerbt von Object)
ToString()

Gibt eine Zeichenfolge zurück, die das aktuelle Objekt darstellt.Returns a string that represents the current object.

(Geerbt von Object)

Explizite Schnittstellenimplementierungen

_Attribute.GetIDsOfNames(Guid, IntPtr, UInt32, UInt32, IntPtr)

Ordnet eine Reihe von Namen einer entsprechenden Reihe von Dispatchbezeichnern zu.Maps a set of names to a corresponding set of dispatch identifiers.

(Geerbt von Attribute)
_Attribute.GetTypeInfo(UInt32, UInt32, IntPtr)

Ruft die Typinformationen für ein Objekt ab, mit deren Hilfe die Typinformationen für eine Schnittstelle abgerufen werden können.Retrieves the type information for an object, which can be used to get the type information for an interface.

(Geerbt von Attribute)
_Attribute.GetTypeInfoCount(UInt32)

Ruft die Anzahl der Schnittstellen mit Typinformationen ab, die von einem Objekt bereitgestellt werden (0 oder 1).Retrieves the number of type information interfaces that an object provides (either 0 or 1).

(Geerbt von Attribute)
_Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr)

Stellt den Zugriff auf von einem Objekt verfügbar gemachte Eigenschaften und Methoden bereit.Provides access to properties and methods exposed by an object.

(Geerbt von Attribute)

Gilt für: