Share via


Beweringen

De assert expressie is een functie voor foutopsporing die u kunt gebruiken om een expressie te testen. Bij een fout in de foutopsporingsmodus genereert een assertie een dialoogvenster met systeemfouten.

Syntaxis

assert condition

Opmerkingen

De assert expressie heeft het type bool -> unit.

De assert functie wordt omgezet in Debug.Assert. Dit betekent dat het gedrag identiek is aan het rechtstreeks aangeroepen Debug.Assert .

Assertiecontrole is alleen ingeschakeld wanneer u compileert in de foutopsporingsmodus; dat wil gezegd, als de constante DEBUG is gedefinieerd. In het projectsysteem wordt standaard de DEBUG constante gedefinieerd in de configuratie voor foutopsporing, maar niet in de releaseconfiguratie.

De fout met de assertie kan niet worden opgevangen met behulp van F#-uitzonderingsafhandeling.

Opmerking

Het volgende codevoorbeeld illustreert het gebruik van de assert expressie.

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

Zie ook