Contract.Requires Metode

Definisi

Ruang nama:: System.Diagnostics.Contracts

Rakitan:: mscorlib.dll, System.Diagnostics.Contracts.dll

Rakitan:: netstandard.dll, System.Diagnostics.Contracts.dll

Rakitan:: System.Diagnostics.Contracts.dll

Rakitan:: mscorlib.dll

Rakitan:: netstandard.dll

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.

Menentukan kontrak prasyarat untuk metode atau properti penutup.

Overload

Nama	Deskripsi
Requires(Boolean)	Menentukan kontrak prasyarat untuk metode atau properti penutup.
Requires(Boolean, String)	Menentukan kontrak prasyarat untuk metode atau properti penutup, dan menampilkan pesan jika kondisi untuk kontrak gagal.
Requires<TException>(Boolean)	Menentukan kontrak prasyarat untuk metode atau properti penutup, dan melemparkan pengecualian jika kondisi untuk kontrak gagal.
Requires<TException>(Boolean, String)	Menentukan kontrak prasyarat untuk metode atau properti penutup, dan melemparkan pengecualian dengan pesan yang disediakan jika kondisi untuk kontrak gagal.

Requires(Boolean)

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Menentukan kontrak prasyarat untuk metode atau properti penutup.

public:
 static void Requires(bool condition);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires(bool condition);

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Requires : bool -> unit

Public Shared Sub Requires (condition As Boolean)

Parameter

condition: Boolean

Ekspresi kondisi untuk diuji.

Atribut: ConditionalAttribute

Keterangan

Panggilan metode ini harus berada di awal metode atau properti, sebelum kode lainnya.
Kontrak ini diekspos ke klien; oleh karena itu, itu hanya boleh mereferensikan anggota yang setidaknya terlihat sebagai metode penutup.
Gunakan metode ini alih-alih Contract.Requires<TException>(Boolean) metode ketika kompatibilitas mundur tidak memaksa Anda untuk melemparkan pengecualian tertentu.

Berlaku untuk

Requires(Boolean, String)

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Menentukan kontrak prasyarat untuk metode atau properti penutup, dan menampilkan pesan jika kondisi untuk kontrak gagal.

public:
 static void Requires(bool condition, System::String ^ userMessage);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires(bool condition, string userMessage);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires(bool condition, string? userMessage);

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Requires : bool * string -> unit

Public Shared Sub Requires (condition As Boolean, userMessage As String)

Parameter

condition: Boolean

Ekspresi kondisi untuk diuji.

userMessage: String

Pesan yang akan ditampilkan jika kondisinya adalah false.

Atribut: ConditionalAttribute

Keterangan

Panggilan metode ini harus berada di awal metode atau properti, sebelum kode lainnya.
Kontrak ini diekspos ke klien; oleh karena itu, itu hanya boleh mereferensikan anggota yang setidaknya terlihat sebagai metode penutup.
Gunakan metode ini alih-alih Contract.Requires<TException>(Boolean, String) metode ketika kompatibilitas mundur tidak memaksa Anda untuk melemparkan pengecualian tertentu.

Berlaku untuk

Requires<TException>(Boolean)

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Menentukan kontrak prasyarat untuk metode atau properti penutup, dan melemparkan pengecualian jika kondisi untuk kontrak gagal.

public:
generic <typename TException>
 where TException : Exception static void Requires(bool condition);

public static void Requires<TException>(bool condition) where TException : Exception;

static member Requires : bool -> unit (requires 'Exception :> Exception)

Public Shared Sub Requires(Of TException As Exception) (condition As Boolean)

Jenis parameter

TException

Pengecualian untuk melemparkan jika kondisinya adalah false.

Parameter

condition: Boolean

Ekspresi kondisi untuk diuji.

Keterangan

Important

Anda harus mengaktifkan pemeriksaan run-time untuk menggunakan metode .Requires Jika pemeriksaan run-time dinonaktifkan, proses akan dihentikan. Untuk mendapatkan alat untuk pemeriksaan runtime, lihat Code Contracts di Visual Studio Marketplace.

Panggilan metode ini harus berada di awal metode atau properti, sebelum kode lainnya.
Kontrak ini diekspos ke klien; oleh karena itu, itu hanya boleh mereferensikan anggota yang setidaknya terlihat sebagai metode penutup.
Gunakan metode ini alih-alih Contract.Requires(Boolean) metode ketika Anda ingin melemparkan pengecualian jika prasyarat gagal.

Berlaku untuk

Requires<TException>(Boolean, String)

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Sumber:: Contracts.cs

Menentukan kontrak prasyarat untuk metode atau properti penutup, dan melemparkan pengecualian dengan pesan yang disediakan jika kondisi untuk kontrak gagal.

public:
generic <typename TException>
 where TException : Exception static void Requires(bool condition, System::String ^ userMessage);

public static void Requires<TException>(bool condition, string userMessage) where TException : Exception;

public static void Requires<TException>(bool condition, string? userMessage) where TException : Exception;

static member Requires : bool * string -> unit (requires 'Exception :> Exception)

Public Shared Sub Requires(Of TException As Exception) (condition As Boolean, userMessage As String)

Jenis parameter

TException

Pengecualian untuk melemparkan jika kondisinya adalah false.

Parameter

condition: Boolean

Ekspresi kondisi untuk diuji.

userMessage: String

Pesan yang akan ditampilkan jika kondisinya adalah false.

Keterangan

Important

Anda harus mengaktifkan pemeriksaan run-time untuk menggunakan metode .Requires Jika pemeriksaan run-time dinonaktifkan, proses akan dihentikan. Untuk mendapatkan alat untuk pemeriksaan runtime, lihat Code Contracts di Visual Studio Marketplace.

Panggilan metode ini harus berada di awal metode atau properti, sebelum kode lainnya.
Kontrak ini diekspos ke klien; oleh karena itu, itu hanya boleh mereferensikan anggota yang setidaknya terlihat sebagai metode penutup.
Gunakan metode ini alih-alih Contract.Requires(Boolean, String) metode ketika Anda ingin melemparkan pengecualian jika prasyarat gagal.

Berlaku untuk

Saran dan Komentar

Apakah halaman ini membantu?