Onaylamaları (F#)
assert Bir ifade sınamak için kullanabileceğiniz bir hata ayıklama özelliği ifadesidir. Hata ayıklama modunda başarısızlık durumunda, bir onaylama işlemi sistem hata iletişim kutusu oluşturur.
assert condition
Notlar
assert İfade türü olan bool -> unit.
Önceki sözdiziminde, condition test edilecek olan bir Boolean deyimi temsil eder. İfade olarak değerlendirilir, true, yürütülmeye etkilenmemiştir. İçin değerlendirilirse false, sistem hata iletişim kutusu oluşturulur. Hata iletişim kutusu dize içeren bir yazısını Onaylama işlemi başarısız. Onaylama işlemi hatası oluştuğu gösteren bir yığın izleme iletişim kutusu içerir.
Yalnızca hata ayıklama modunda derlediğinizde onaylama işlemi denetimi etkinleştirilir; diğer bir deyişle, sabit DEBUG tanımlanır. Varsayılan olarak, proje sisteminde DEBUG sabiti hata ayıklama yapılandırma var, ancak daðýtým yapýlandýrmasý tanımlanır.
Onaylama işlemi hatası hata F# özel durum işleme kullanarak yakalanamaz.
Not
assert İşlevi çözümler için System.Diagnostics.Debug.Assert.Daha fazla bilgi için bkz. Assert.
Aşağıdaki kod örneği kullanımları gösterilmektedir assert ifadesi.
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