ContractVerificationAttribute Klasse

Definition

Weist die Analysetools an, die Richtigkeit einer Assembly, eines Typs oder Members ohne statische Überprüfung anzunehmen.Instructs analysis tools to assume the correctness of an assembly, type, or member without performing static verification.

public ref class ContractVerificationAttribute sealed : Attribute
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Constructor | System.AttributeTargets.Method | System.AttributeTargets.Property | System.AttributeTargets.Struct)]
public sealed class ContractVerificationAttribute : Attribute
type ContractVerificationAttribute = class
    inherit Attribute
Public NotInheritable Class ContractVerificationAttribute
Inherits Attribute
Vererbung
ContractVerificationAttribute
Attribute

Hinweise

Verwenden ContractVerification(false) Sie, um eine Assembly, einen Typ oder einen Member explizit zu markieren, weil keine Überprüfung erforderlich ist.Use ContractVerification(false) to explicitly mark an assembly, type, or member as not requiring verification. Das spezifischere Element, das gefunden wurde (Member, Typ und dann Assembly), hat Vorrang.The most specific element found (member, type, and then assembly) takes precedence. Das Anwenden dieses Attributs auf eine Eigenschaft, einen Typ oder eine Assembly hat folgende Auswirkungen:Applying this attribute to a property, type, or assembly has the following effects:

  • Wenn Sie Sie auf eine Eigenschaft anwenden, gilt sie sowohl für den get -Accessor als set auch für den-Accessor.When you apply it to a property, it applies to both the get accessor and the set accessor.

  • Wenn Sie es auf einen Typ anwenden, gilt es für alle Member des Typs, einschließlich der Untertypen.When you apply it to a type, it applies to all members of the type, including nested types.

  • Wenn Sie Sie auf eine Assembly anwenden, gilt sie für alle Typen und Member der Assembly.When you apply it to an assembly, it applies to all types and members of the assembly.

Konstruktoren

ContractVerificationAttribute(Boolean)

Initialisiert eine neue Instanz der ContractVerificationAttribute-Klasse.Initializes a new instance of the ContractVerificationAttribute class.

Eigenschaften

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 ab, der angibt, ob der Vertrag des Ziels überprüft werden soll.Gets the value that indicates whether to verify the contract of the target.

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: