Udostępnij za pośrednictwem


ContractVerificationAttribute Klasa

Definicja

Instruuje narzędzia do analizy, aby zakładały poprawność zestawu, typu lub elementu członkowskiego bez przeprowadzania weryfikacji statycznej.

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

Uwagi

Użyj ContractVerification(false) polecenia , aby jawnie oznaczyć zestaw, typ lub element członkowski jako nie wymagający weryfikacji. Najbardziej konkretny element znaleziony (element członkowski, typ, a następnie zestaw) ma pierwszeństwo. Zastosowanie tego atrybutu do właściwości, typu lub zestawu ma następujące efekty:

  • Zastosowanie jej do właściwości dotyczy zarówno get metody dostępu, jak i set metody dostępu.

  • Zastosowanie go do typu dotyczy wszystkich elementów członkowskich typu, w tym typów zagnieżdżonych.

  • Zastosowanie go do zestawu dotyczy wszystkich typów i elementów członkowskich zestawu.

Konstruktory

ContractVerificationAttribute(Boolean)

Inicjuje nowe wystąpienie klasy ContractVerificationAttribute.

Właściwości

TypeId

Po zaimplementowaniu w klasie pochodnej pobiera unikatowy identyfikator dla tego Attributeelementu .

(Odziedziczone po Attribute)
Value

Pobiera wartość wskazującą, czy należy zweryfikować kontrakt obiektu docelowego.

Metody

Equals(Object)

Zwraca wartość wskazującą, czy to wystąpienie jest równe podanemu obiektowi.

(Odziedziczone po Attribute)
GetHashCode()

Zwraca wartość skrótu dla tego wystąpienia.

(Odziedziczone po Attribute)
GetType()

Type Pobiera wartość bieżącego wystąpienia.

(Odziedziczone po Object)
IsDefaultAttribute()

Podczas zastępowania w klasie pochodnej wskazuje, czy wartość tego wystąpienia jest wartością domyślną dla klasy pochodnej.

(Odziedziczone po Attribute)
Match(Object)

Po przesłonięciu w klasie pochodnej zwraca wartość wskazującą, czy to wystąpienie jest równe określonemu obiektowi.

(Odziedziczone po Attribute)
MemberwiseClone()

Tworzy płytkią kopię bieżącego Objectelementu .

(Odziedziczone po Object)
ToString()

Zwraca ciąg reprezentujący bieżący obiekt.

(Odziedziczone po Object)

Jawne implementacje interfejsu

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

Zestaw nazw jest mapowany na odpowiedni zestaw identyfikatorów wysyłania.

(Odziedziczone po Attribute)
_Attribute.GetTypeInfo(UInt32, UInt32, IntPtr)

Pobiera informacje o typie dla obiektu, który może służyć do pobierania informacji o typie dla interfejsu.

(Odziedziczone po Attribute)
_Attribute.GetTypeInfoCount(UInt32)

Pobiera informację o liczbie typów interfejsów, jakie zawiera obiekt (0 lub 1).

(Odziedziczone po Attribute)
_Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr)

Umożliwia dostęp do właściwości i metod udostępnianych przez obiekt.

(Odziedziczone po Attribute)

Dotyczy