Contract.EnsuresOnThrow Metode

Definisi

Ruang nama:

System.Diagnostics.Contracts

Rakitan:

System.Diagnostics.Contracts.dll

Menentukan kontrak pascakondisi untuk metode atau properti penutup berdasarkan pengecualian dan kondisi yang disediakan.

Overload

EnsuresOnThrow<TException>(Boolean)	Menentukan kontrak pascakondisi untuk metode atau properti penutup, berdasarkan pengecualian dan kondisi yang disediakan.
EnsuresOnThrow<TException>(Boolean, String)	Menentukan kontrak pascakondisi dan pesan yang akan ditampilkan jika kondisinya adalah false untuk metode atau properti penutup, berdasarkan pengecualian dan kondisi yang disediakan.

EnsuresOnThrow<TException>(Boolean)

Sumber:

Contracts.cs

Menentukan kontrak pascakondisi untuk metode atau properti penutup, berdasarkan pengecualian dan kondisi yang disediakan.

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

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException> (bool condition) where TException : Exception;

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EnsuresOnThrow : bool -> unit (requires 'Exception :> Exception)

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

Jenis parameter

TException

Jenis pengecualian yang memanggil pemeriksaan pascakondisi.

Parameter

condition

Boolean

Ekspresi kondisi yang akan diuji.

Atribut

ConditionalAttribute

Keterangan

Parameter condition menentukan pascakondisi yang diharapkan true ketika metode atau properti penutup berakhir secara tidak normal dan pengecualian jenis TException dilemparkan.

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

• Anda harus menggunakan penulis ulang biner untuk penegakan run-time pascakondisi ini.

EnsuresOnThrow<TException>(Boolean, String)

Sumber:

Contracts.cs

Menentukan kontrak pascakondisi dan pesan yang akan ditampilkan jika kondisinya adalah false untuk metode atau properti penutup, berdasarkan pengecualian dan kondisi yang disediakan.

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

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException> (bool condition, string? userMessage) where TException : Exception;

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

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

Jenis parameter

TException

Jenis pengecualian yang memanggil pemeriksaan pascakondisi.

Parameter

condition

Boolean

Ekspresi kondisi yang akan diuji.

userMessage

String

Pesan yang akan ditampilkan jika ekspresinya adalah false.

Atribut

ConditionalAttribute

Keterangan

Parameter condition menentukan pascakondisi yang diharapkan true ketika metode atau properti penutup berakhir secara tidak normal dan pengecualian jenis TException dilemparkan. Parameter message menentukan pesan yang akan ditampilkan jika kondisinya adalah false.

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

• Anda harus menggunakan penulis ulang biner untuk penegakan run-time pascakondisi ini.

• Jika userMessage bukan string konstanta literal, kontrak mungkin tidak dipahami oleh alat.