Contract.Assert Metode

Definisi

Ruang nama:

System.Diagnostics.Contracts

Rakitan:

System.Diagnostics.Contracts.dll

Dalam build debug, lakukan pengujian run-time untuk kondisi tertentu.

Overload

Assert(Boolean)	Memeriksa kondisi; jika kondisinya , falsemengikuti kebijakan eskalasi yang ditetapkan untuk penganalisis.
Assert(Boolean, String)	Memeriksa kondisi; jika kondisinya , falsemengikuti kebijakan eskalasi yang ditetapkan oleh penganalisis dan menampilkan pesan yang ditentukan.

Assert(Boolean)

Sumber:

Contracts.cs

Memeriksa kondisi; jika kondisinya , falsemengikuti kebijakan eskalasi yang ditetapkan untuk penganalisis.

public:
 static void Assert(bool condition);

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

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

Public Shared Sub Assert (condition As Boolean)

Parameter

condition

Boolean

Ekspresi kondisi yang akan diuji.

Atribut

ConditionalAttribute

Keterangan

Kebijakan eskalasi default adalah memberi tahu debugger terlampir tentang kegagalan kontrak atau menampilkan kotak dialog Pernyataan jika debugger tidak dilampirkan. Secara opsional, penganalisis dapat diinstruksikan untuk melemparkan pengecualian.

Assert(Boolean, String)

Sumber:

Contracts.cs

Memeriksa kondisi; jika kondisinya , falsemengikuti kebijakan eskalasi yang ditetapkan oleh penganalisis dan menampilkan pesan yang ditentukan.

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

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

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

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

Parameter

condition

Boolean

Ekspresi kondisi yang akan diuji.

userMessage

String

Pesan untuk ditampilkan jika kondisi tidak terpenuhi.

Atribut

ConditionalAttribute

Keterangan

Kebijakan eskalasi default adalah memberi tahu debugger terlampir tentang kegagalan kontrak atau menampilkan kotak dialog Pernyataan jika debugger tidak dilampirkan. Secara opsional, penganalisis dapat diinstruksikan untuk melemparkan pengecualian. Parameter userMessage diteruskan ke output debugger. Jika userMessage bukan string konstanta literal, alat mungkin tidak dapat membacanya.