Contract.Requires Metode

Definisi

Ruang nama:

System.Diagnostics.Contracts

Rakitan:

System.Diagnostics.Contracts.dll

Menentukan kontrak prasyarat untuk metode atau properti penutup.

Overload

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 memberikan 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

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 bersyarah 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 harus 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.

Requires(Boolean, String)

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")>]
static member Requires : bool * string -> unit

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

Parameter

condition

Boolean

Ekspresi bersyarah 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 harus 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.

Requires<TException>(Boolean)

Sumber:

Contracts.cs

Menentukan kontrak prasyarat untuk metode atau properti penutup, dan memberikan 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 bersyarah untuk diuji.

Keterangan

Penting

Anda harus mengaktifkan pemeriksaan run-time untuk menggunakan Requires metode . Jika pemeriksaan run-time dimatikan, proses akan dihentikan. Untuk mendapatkan alat untuk pemeriksaan runtime, lihat Kontrak Kode 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 harus 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.

Requires<TException>(Boolean, String)

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;

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 bersyarah untuk diuji.

userMessage

String

Pesan yang akan ditampilkan jika kondisinya adalah false.

Keterangan

• Penting

  Anda harus mengaktifkan pemeriksaan run-time untuk menggunakan Requires metode . Jika pemeriksaan run-time dimatikan, proses akan dihentikan. Untuk mendapatkan alat untuk pemeriksaan runtime, lihat Kontrak Kode 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 harus 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.