Állítások

A assert kifejezés egy hibakeresési funkció, amellyel tesztelheti a kifejezéseket. Hibakeresési módban történő hiba esetén az állítás rendszerhiba párbeszédpanelt hoz létre.

Szemantika

assert condition

Megjegyzések

A assert kifejezés típusa bool -> unit.

A assert függvény a következőre oldható fel Debug.Assert: . Ez azt jelenti, hogy a viselkedése megegyezik a közvetlen hívásával Debug.Assert .

A helyességi ellenőrzés csak hibakeresési módban történő fordításkor engedélyezett; vagyis ha az állandó DEBUG definiálva van. A projektrendszerben alapértelmezés szerint az DEBUG állandó a hibakeresési konfigurációban van definiálva, a Kiadás konfigurációban azonban nem.

A helyességi hiba nem hajtható végre az F# kivételkezeléssel.

példa

Az alábbi példakód a kifejezés használatát szemlélteti 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

Lásd még

• F# nyelvi referencia