ContractVerificationAttribute Kelas

Definisi

Ruang nama:

System.Diagnostics.Contracts

Rakitan:

netstandard.dll, System.Diagnostics.Contracts.dll

Sumber:

Contracts.cs

Menginstruksikan alat analisis untuk mengasumsikan kebenaran perakitan, jenis, atau anggota tanpa melakukan verifikasi statis.

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

Warisan

Object

Attribute

ContractVerificationAttribute

Atribut

AttributeUsageAttribute ConditionalAttribute

Keterangan

Gunakan ContractVerification(false) untuk secara eksplisit menandai rakitan, jenis, atau anggota sebagai tidak memerlukan verifikasi. Elemen yang paling spesifik ditemukan (anggota, jenis, dan kemudian rakitan) lebih diutamakan. Menerapkan atribut ini ke properti, jenis, atau rakitan memiliki efek berikut:

• Saat Anda menerapkannya ke properti, itu berlaku untuk get aksesor dan set aksesor.

• Saat Anda menerapkannya ke jenis, itu berlaku untuk semua anggota jenis, termasuk jenis berlapis.

• Saat Anda menerapkannya ke rakitan, itu berlaku untuk semua jenis dan anggota rakitan.

Konstruktor

Nama	Deskripsi
ContractVerificationAttribute(Boolean)	Menginisialisasi instans baru dari kelas ContractVerificationAttribute.

Properti

Nama	Deskripsi
TypeId	Ketika diimplementasikan dalam kelas turunan, mendapatkan pengidentifikasi unik untuk Attributeini. (Diperoleh dari Attribute)
Value	Mendapatkan nilai yang menunjukkan apakah akan memverifikasi kontrak target.

Metode

Nama	Deskripsi
Equals(Object)	Mengembalikan nilai yang menunjukkan apakah instans ini sama dengan objek tertentu. (Diperoleh dari Attribute)
GetHashCode()	Mengembalikan kode hash untuk instans ini. (Diperoleh dari Attribute)
GetType()	Mendapatkan Type instans saat ini. (Diperoleh dari Object)
IsDefaultAttribute()	Ketika ditimpa dalam kelas turunan, menunjukkan apakah nilai instans ini adalah nilai default untuk kelas turunan. (Diperoleh dari Attribute)
Match(Object)	Saat ditimpa dalam kelas turunan, mengembalikan nilai yang menunjukkan apakah instans ini sama dengan objek tertentu. (Diperoleh dari Attribute)
MemberwiseClone()	Membuat salinan dangkal dari Objectsaat ini. (Diperoleh dari Object)
ToString()	Mengembalikan string yang mewakili objek saat ini. (Diperoleh dari Object)