Tvrzení

Výraz assert je funkce ladění, kterou můžete použít k otestování výrazu. Při selhání v režimu ladění vygeneruje kontrolní výraz dialogové okno systémové chyby.

Syntaxe

assert condition

Poznámky

Výraz assert má typ bool -> unit.

Funkce assert se přeloží na Debug.Assert. To znamená, že jeho chování je stejné jako při přímém zavolání Debug.Assert .

Kontrola kontrolních výrazů je povolena pouze při kompilaci v režimu ladění; to znamená, že pokud je konstanta DEBUG definována. Ve výchozím nastavení DEBUG je v systému projektu konstanta definována v konfiguraci ladění, ale ne v konfiguraci vydané verze.

Chybu kontrolního výrazu nelze zachytit pomocí zpracování výjimek jazyka F#.

Příklad

Následující příklad kódu znázorňuje použití výrazu 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

Viz také

• Referenční dokumentace jazyka F#