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 polecenia ContractVerification(false) , aby jawnie oznaczyć zestaw, typ lub element członkowski jako niewymagają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:

• Po zastosowaniu get go do właściwości ma zastosowanie zarówno do 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.

• Po zastosowaniu go do zestawu ma zastosowanie do 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 elementu Attribute. (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 bieżące wystąpienie. (Odziedziczone po Object)
IsDefaultAttribute()	W przypadku zastąpienia w klasie pochodnej wskazuje, czy wartość tego wystąpienia jest wartością domyślną klasy pochodnej. (Odziedziczone po Attribute)
Match(Object)	W przypadku zastąpienia 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)