ContractVerificationAttribute Klasa

Definicja

Przestrzeń nazw:

System.Diagnostics.Contracts

Zestaw:

System.Diagnostics.Contracts.dll

Źródło:

Contracts.cs

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

Object

Attribute

ContractVerificationAttribute

Atrybuty

AttributeUsageAttribute ConditionalAttribute

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)