ContractVerificationAttribute Kelas

Referensi

Definisi

Ruang nama:: System.Diagnostics.Contracts

Rakitan:: System.Diagnostics.Contracts.dll

Rakitan:: mscorlib.dll

Rakitan:: netstandard.dll

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Penting

Beberapa informasi terkait produk prarilis yang dapat diubah secara signifikan sebelum dirilis. Microsoft tidak memberikan jaminan, tersirat maupun tersurat, sehubungan dengan informasi yang diberikan di sini.

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 menandai rakitan, jenis, atau anggota secara eksplisit sebagai tidak memerlukan verifikasi. Elemen paling spesifik yang ditemukan (anggota, jenis, dan perakitan) lebih diutamakan. Menerapkan atribut ini ke properti, jenis, atau rakitan memiliki efek berikut:

Saat Anda menerapkannya ke properti, itu berlaku untuk get aksesori dan set aksesor.
Saat Anda menerapkannya ke jenis, jenis tersebut berlaku untuk semua anggota jenis, termasuk jenis berlapis.
Saat Anda menerapkannya ke assembly, itu berlaku untuk semua jenis dan anggota assembly.

Konstruktor

ContractVerificationAttribute(Boolean)

Menginisialisasi instans baru kelas ContractVerificationAttribute.

Properti

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

Metode

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 instans Type saat ini. (Diperoleh dari Object)
IsDefaultAttribute()	Ketika ditimpa di kelas turunan, menunjukkan apakah nilai instans ini adalah nilai default untuk kelas turunan. (Diperoleh dari Attribute)
Match(Object)	Saat ditimpa di kelas turunan, mengembalikan nilai yang menunjukkan apakah instans ini sama dengan objek tertentu. (Diperoleh dari Attribute)
MemberwiseClone()	Membuat salinan dangkal dari yang saat ini Object. (Diperoleh dari Object)
ToString()	Mengembalikan string yang mewakili objek saat ini. (Diperoleh dari Object)

Implementasi Antarmuka Eksplisit

_Attribute.GetIDsOfNames(Guid, IntPtr, UInt32, UInt32, IntPtr)	Memetakan sekumpulan nama ke sekumpulan pengidentifikasi pengiriman yang sesuai. (Diperoleh dari Attribute)
_Attribute.GetTypeInfo(UInt32, UInt32, IntPtr)	Mengambil informasi jenis untuk objek, yang dapat digunakan untuk mendapatkan informasi jenis untuk antarmuka. (Diperoleh dari Attribute)
_Attribute.GetTypeInfoCount(UInt32)	Mengambil jumlah antarmuka informasi jenis yang disediakan objek (baik 0 atau 1). (Diperoleh dari Attribute)
_Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr)	Menyediakan akses ke properti dan metode yang diekspos oleh objek. (Diperoleh dari Attribute)

Berlaku untuk