Bagikan melalui


Contract.Requires Metode

Definisi

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

Atribut

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.

Berlaku untuk

Requires(Boolean, String)

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

userMessage
String

Pesan yang akan ditampilkan jika kondisinya adalah false.

Atribut

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.

Berlaku untuk

Requires<TException>(Boolean)

Sumber:
Contracts.cs
Sumber:
Contracts.cs
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.

Berlaku untuk

Requires<TException>(Boolean, String)

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

Berlaku untuk