Pernyataan
Ekspresi assert
merupakan fitur penelusuran kesalahan yang dapat Anda gunakan untuk melakukan pengujian ekspresi. Setelah kegagalan dalam mode Debug, pernyataan akan membuat kotak dialog kesalahan sistem.
Sintaks
assert condition
Keterangan
Ekspresi assert
memiliki jenis bool -> unit
.
Fungsi assert
ini menyelesaikan ke Debug.Assert. Ini berarti perilakunya identik dengan melakukan panggilan Debug.Assert secara langsung.
Pemeriksaan penegasan hanya diaktifkan saat Anda melakukan kompilasi dalam mode Debug; artinya, jika konstanta DEBUG
didefinisikan. Dalam sistem proyek, secara default, konstanta DEBUG
ditentukan dalam konfigurasi Debug tetapi tidak dalam konfigurasi Rilis.
Kesalahan kegagalan penegasan tidak dapat ditangkap dengan menggunakan penanganan pengecualian F#.
Contoh
Contoh kode berikut mengilustrasikan penggunaan ekspresi assert
.
let subtractUnsigned (x : uint32) (y : uint32) =
assert (x > y)
let z = x - y
z
// This code does not generate an assertion failure.
let result1 = subtractUnsigned 2u 1u
// This code generates an assertion failure.
let result2 = subtractUnsigned 1u 2u