Tvrzení (F#)
assert Je výraz funkce ladění, který můžete použít k testování výrazu.Po selhání v režimu ladění generuje nepravdivých dialogové okno chyby systému.
assert condition
Poznámky
assert Výraz má typ bool -> unit.
V syntaxi předchozí condition představuje logický výraz, který je zkoušet.Pokud je výraz vyhodnocen jako true, pokračuje zpracování beze změn.Pokud je false, je generována chyba dialogové okno systému.V dialogovém okně chybové má titulek, který obsahuje řetězec Chyba při vyhodnocení.Dialogové okno obsahuje trasování zásobníku, který označuje, kde došlo k selhání výrazu.
Kontrola výrazu je povolena pouze při kompilaci v režimu ladění; je-li konstanta DEBUG je definován.V systému Microsoft Office project ve výchozím DEBUG konstanta je definována v konfiguraci ladění, ale není v konfiguraci vydání.
Chyba selhání výrazu nelze ulovené pomocí zpracování výjimek F#.
[!POZNÁMKA]
assert Funkce převede na System.Diagnostics.Debug.Assert.Další informace naleznete v tématu Assert.
Následující příklad kódu ukazuje použití assert výraz.
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