ContractInvariantMethodAttribute Kelas

Definisi

Ruang nama:

System.Diagnostics.Contracts

Rakitan:

netstandard.dll, System.Diagnostics.Contracts.dll

Sumber:

Contracts.cs

Menandai metode sebagai metode invarian untuk kelas.

public ref class ContractInvariantMethodAttribute sealed : Attribute

[System.AttributeUsage(System.AttributeTargets.Method, AllowMultiple=false, Inherited=false)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractInvariantMethodAttribute : Attribute

[<System.AttributeUsage(System.AttributeTargets.Method, AllowMultiple=false, Inherited=false)>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
type ContractInvariantMethodAttribute = class
    inherit Attribute

Public NotInheritable Class ContractInvariantMethodAttribute
Inherits Attribute

Warisan

Object

Attribute

ContractInvariantMethodAttribute

Atribut

AttributeUsageAttribute ConditionalAttribute

Keterangan

Metode invarian dapat memiliki nama apa pun, tetapi harus mengembalikan void dan tidak mengambil parameter. Nama yang disarankan untuk metode ini adalah ObjectInvariant. Isi metode invarian harus hanya terdiri dari satu atau beberapa panggilan ke metode .Contract.Invariant Jenis dapat memiliki lebih dari satu metode invarian kontrak, yang dapat bersifat publik atau privat.

Konstruktor

Nama	Deskripsi
ContractInvariantMethodAttribute()	Menginisialisasi instans baru dari kelas ContractInvariantMethodAttribute.

Properti

Nama	Deskripsi
TypeId	Ketika diimplementasikan dalam kelas turunan, mendapatkan pengidentifikasi unik untuk Attributeini. (Diperoleh dari Attribute)

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)